joelonsql / reason-re-nfaLinks
ReasonML code to construct an NFA from a regular expression
☆24Updated 6 years ago
Alternatives and similar repositories for reason-re-nfa
Users that are interested in reason-re-nfa are comparing it to the libraries listed below
Sorting:
- OCaml code to construct an NFA from a regular expression☆52Updated 5 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Hotcaml: an interpreter with watching and reloading☆146Updated 3 years ago
- Experiment on how to bootstrap the OCaml compiler☆110Updated 3 years ago
- How do you do that recursive GADT thing again?☆28Updated last year
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Brainfuck formalized in Coq☆30Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆73Updated 6 years ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆23Updated 9 months ago
- ☆44Updated 3 years ago
- ☆137Updated 3 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated last year
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆114Updated this week
- Hash-based Diffing for AST's☆77Updated 5 years ago
- A relational interpretation of Lojban☆34Updated 3 months ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- Matita (proof assistant) with embedded elpi☆14Updated 7 years ago
- Nanopass for OCaml☆148Updated 7 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 8 months ago
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 5 years ago
- A template for you to implement Hazelnut yourself☆22Updated 3 months ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Prototypes: Object Orientation, Functionally☆46Updated this week