4ever2 Eske Nielsen
github.com/4ever2 · maintains 11 packages (11 directly), sole maintainer of 10, member of 0 teams
11 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
CakeML backend for Peregrine |
0.1.0 |
1 | 7 | 0 | 0 | single | ||
CertiRocq |
0.9.1+9.1 |
2 | 9 | 0 | 0 | maintained | ||
A framework for smart contract verification in Rocq |
1.0.1 |
1 | 9 | 0 | 0 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 1 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 6 | 2 | 5 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 3 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 8 | 1 | 2 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 3 | single | ||
Library for serialization via S-expressions using bytestrings. Alternative to coq-ceres which uses String from standard library. |
1.0.0 |
1 | 7 | 2 | 2 | single | ||
Verified Extraction from Rocq to OCaml. Including a bootstrapped extraction plugin |
1.0.0-9.1 |
1 | 8 | 0 | 0 | single | ||
Malfunction is a high-performance, low-level untyped program representation, designed as a target for compilers of functional programming languages. |
0.7.1 |
1 | 7 | 0 | 0 | single broken |