mmottl / cfgLinks
OCaml library for manipulating context-free grammars
☆20Updated last week
Alternatives and similar repositories for cfg
Users that are interested in cfg are comparing it to the libraries listed below
Sorting:
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆18Updated 3 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 7 months ago
- Implementation of maps of integers with Patricia trees☆22Updated 4 years ago
- Parsing library based on Earley Algorithm☆18Updated 2 months ago
- OCaml code for Compiler Construction course at University of Cambridge☆42Updated 4 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated 6 months ago
- Just In Time compiler for OCaml native toplevel☆58Updated last year
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 4 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- L-system interpreter in OCaml☆22Updated 9 years ago
- ☆16Updated 6 years ago
- The Ensemble distributed communications toolkit☆12Updated 5 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- Identifying similar OCaml codes☆29Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 7 months ago
- Library containing the definition of S-expressions and some base converters☆19Updated this week
- ☆29Updated 6 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- RPC client/server for Irmin☆19Updated 4 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆21Updated 3 years ago
- A simple BDD library for OCaml☆13Updated 3 months ago
- Read and write FAT format filesystems from OCaml☆25Updated 3 months ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 4 years ago