|
vera++
|
1.3.0-2 |
4 |
0.00
|
A programmable tool for verification, analysis and transformation of C++ source code |
markand
|
2017-05-30 18:09 (UTC) |
|
uppaal
|
5.0.0-3 |
0 |
0.00
|
Verify timed automata models and learn strategies. |
falkecarlsen
|
2024-03-07 09:19 (UTC) |
|
ocaml-dscheck
|
0.4.0-1 |
0 |
0.00
|
Experimental model checker for testing concurrent algorithms |
dpeukert
|
2024-02-22 23:45 (UTC) |
|
haproxy-shadowsocks-checker
|
1.0.0-1 |
1 |
0.00
|
HAProxy service checker for shadowsocks |
sbw
|
2020-02-18 13:34 (UTC) |
|
free-hash-checker
|
3.0-3 |
1 |
0.00
|
A simple and elegant open-source hash checker software. |
rizwan486
|
2021-08-16 17:33 (UTC) |
|
flow-git
|
0.211.0.r16252.gd4c507bbe-1 |
0 |
0.00
|
A static type checker for JavaScript - git version |
orphan
|
2023-07-05 20:26 (UTC) |
|
flow-bin
|
0.237.1-1 |
10 |
0.00
|
A static type checker for JavaScript - binary version |
dpeukert
|
2024-05-29 21:32 (UTC) |
|
flow
|
0.237.1-1 |
14 |
0.00
|
A static type checker for JavaScript |
dpeukert
|
2024-05-29 21:32 (UTC) |
|
csgo-checker-git
|
1.4.2+r2+ga0e45d0-1 |
0 |
0.00
|
Check CS:GO accounts for bans/cooldowns/wins/ranks (git) |
nezu
|
2023-07-17 22:05 (UTC) |
|
csgo-checker-electron
|
1.4.4-1 |
0 |
0.00
|
Check CS:GO accounts for bans/cooldowns/wins/ranks (system electron) |
nezu
|
2023-08-16 16:33 (UTC) |
|
csgo-checker-bin
|
1.4.4-1 |
0 |
0.00
|
Check CS:GO accounts for bans/cooldowns/wins/ranks (bin) |
nezu
|
2023-08-16 16:30 (UTC) |