gfngfn / apbufLinks
Algebraic protocol buffers
☆13Updated 4 years ago
Alternatives and similar repositories for apbuf
Users that are interested in apbuf are comparing it to the libraries listed below
Sorting:
- ONE-SHOT Algebraic Effects for Ruby!☆23Updated last week
- [WIP] Faster Implementation of Dialyzer☆56Updated last year
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated last year
- HoTT in Japanese☆34Updated last year
- Proof of concept to generate safe and fast JavaScript☆24Updated 2 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆33Updated 2 months ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- ☆45Updated 2 years ago
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 5 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 7 years ago
- Interpreter of the ITGL with dynamic type inference☆22Updated 4 months ago
- PWV Functional Language☆14Updated last year
- Unicode text segmentation for OCaml☆24Updated this week
- Type-safe statically unknown pattern generation in MetaOCaml☆11Updated last year
- Property-based testing at ease☆42Updated 3 years ago
- refinement types for Elm☆16Updated 2 years ago
- Multiparty Session Types in OCaml☆60Updated 8 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Updated 3 years ago
- SATySFi parser writtern in Rust.☆14Updated 3 years ago
- Programs for checking the ρ property☆17Updated 4 years ago
- A model-checker for caml programs.☆13Updated 4 years ago
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Updated last year
- SubML (prototype) language☆23Updated 3 years ago
- Catenable lists☆21Updated 3 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Lens powered regular expression☆16Updated 4 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- open union and open product types in Haskell☆32Updated 4 years ago