11 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
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.233.0-1 10 0.00 A static type checker for JavaScript - binary version dpeukert 2024-04-03 16:31 (UTC)
flow 0.233.0-1 14 0.00 A static type checker for JavaScript dpeukert 2024-04-03 16:31 (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)

11 packages found. Page 1 of 1.