This is stars and forks stats for /ocaml-gospel/gospel repository. As of 28 Apr, 2024 this repository has 94 stars and 15 forks.
Gospel A tool-agnostic formal specification language for OCaml. About Gospel is a behavioural specification language for OCaml program. It provides developers with a non-invasive and easy-to-use syntax to annotate their module interfaces with formal contracts that describe type invariants, mutability, function pre-conditions and post-conditions, effects, exceptions, and much more! We designed Gospel to provide a tool-agnostic frontend for bringing formal methods into the OCaml ecosystem, meaning...
Gospel A tool-agnostic formal specification language for OCaml. About Gospel is a behavioural specification language for OCaml program. It provides developers with a non-invasive and easy-to-use syntax to annotate their module interfaces with formal contracts that describe type invariants, mutability, function pre-conditions and post-conditions, effects, exceptions, and much more! We designed Gospel to provide a tool-agnostic frontend for bringing formal methods into the OCaml ecosystem, meaning...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
i-MSCP/phpmyadmin | PerlPHP | 12 | 0 | 17 | 0 |
G4lile0/Heimdall-WiFi-Radar | PythonHTMLC++ | 548 | 0 | 66 | 0 |
cython/cython | PythonCythonC | 8.4k | +10 | 1.5k | +4 |
alan-turing-institute/Python-quality-tools | Vim ScriptShellC++ | 2 | 0 | 0 | 0 |
renerocksai/zap | ZigRustShell | 1.2k | 0 | 31 | 0 |
ldcsaa/HP-Socket | CC++Other | 5.4k | 0 | 1.7k | 0 |
FeiYull/TensorRT-Alpha | C++CudaPython | 838 | 0 | 144 | 0 |
sofneo/import-hoodini | C++C | 51 | 0 | 12 | 0 |
MasterEric/hxcpp-interop-testbench | HaxeCC++ | 22 | 0 | 1 | 0 |
Dr-TSNG/TwiFucker | KotlinC++C | 1.1k | 0 | 51 | 0 |