Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
A Plain Text Accounting parser built in Rust with Pest and PEG