ptal / bonsaiLinks
Programming language based on the synchronous and constraint paradigms
☆15Updated 5 years ago
Alternatives and similar repositories for bonsai
Users that are interested in bonsai are comparing it to the libraries listed below
Sorting:
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- The language of the future!☆72Updated last year
- Efficient binder representation in OCaml☆43Updated last year
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 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
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- ☆29Updated 10 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 6 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 7 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 10 months ago
- Constraint solver based on abstract domains☆32Updated last year
- Coq plugin for monomorphization and C code generation☆35Updated last week
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Updated last year
- Coq library on rewriting theory and termination☆37Updated 2 months ago
- Multiparty Session Types in OCaml☆59Updated last year
- [toy] A rewriting language similar to the core of Mathematica☆53Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆31Updated 4 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- ☆21Updated 9 years ago
- A dependent type theory with user defined data types☆47Updated 4 years ago
- Calculus of Constructions Implementation☆17Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆102Updated 5 months ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- OCaml syntax extension for synchronous programming...☆32Updated 2 years ago