joelonsql / reason-re-nfa
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
- OCaml code to construct an NFA from a regular expression☆50Updated 4 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- How do you do that recursive GADT thing again?☆27Updated last year
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Brainfuck formalized in Coq☆26Updated 2 years ago
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago
- Kanren with databases☆43Updated 7 months ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆28Updated 2 weeks ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Owl Tutorial☆6Updated 3 months ago
- Mystery Languages☆38Updated last year
- A benchmark suite for the OCaml compiler☆83Updated 6 months ago
- Hanoi tower in Coq☆25Updated 3 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A library that makes it nicer to work with nested functional data structures☆58Updated 4 months ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 7 months ago
- S-expression parsing library☆35Updated 7 months ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A relational interpretation of Lojban☆33Updated last month
- ☆34Updated 11 months ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated 2 years ago
- A simulator for visualising the evolution of π-calculus terms☆40Updated 2 years ago
- Fωμ type checker and compiler☆52Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago