ptal / bonsaiLinks
Programming language based on the synchronous and constraint paradigms
☆15Updated 4 years ago
Alternatives and similar repositories for bonsai
Users that are interested in bonsai are comparing it to the libraries listed below
Sorting:
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- The language of the future!☆72Updated last year
- Efficient binder representation in OCaml☆43Updated last year
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Updated 4 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- OCaml syntax extension for synchronous programming...☆32Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- ☆29Updated 9 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last month
- Multiparty Session Types in OCaml☆60Updated 8 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated 2 months ago
- Random Access Zipper in OCaml☆14Updated 8 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated 2 months ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 5 years ago
- ☆22Updated 9 years ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 7 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 7 months ago