joelonsql / reason-re-nfa
ReasonML code to construct an NFA from a regular expression
β24Updated 5 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
- How do you do that recursive GADT thing again?β27Updated 11 months ago
- π§ An indexed construction of semi-simplicial and semi-cubical typesβ27Updated this week
- Automatically exported from code.google.com/p/intuitionisticβ31Updated 9 years ago
- Brainfuck formalized in Coqβ26Updated 2 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- Specification of the Cedille Core languageβ29Updated 4 years ago
- A pure type system implemented in OCamlβ78Updated 4 years ago
- β34Updated 11 months ago
- Hanoi tower in Coqβ24Updated 2 months ago
- A (very) unfinished OpenType Math layout and rendering engine in Racketβ54Updated 6 months ago
- A clean implementation of Parsing with Zippers.β37Updated 6 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)β21Updated 6 years ago
- Miller/pattern unification in Agdaβ64Updated 11 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.β39Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]β14Updated last year
- User Interfaces for Programming Languages: The Compendiumβ27Updated 4 years ago
- A template for you to implement Hazelnut yourselfβ21Updated 2 months ago
- Sokoban (in Coq) [maintainer=@erikmd]β21Updated 2 months ago
- The glitch-soc/Mastodon fork running on types.plβ22Updated last month
- Experimental functional languageβ17Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sumsβ27Updated 4 years ago
- A bare-bones LCF-style proof assistantβ22Updated 5 years ago
- A verified compiler for a lazy functional languageβ34Updated 3 weeks ago
- Benchmark repository of polyglot effect handler examplesβ23Updated 4 months ago
- F*dging up a Racket: how to write Brainf*ck as a Racket languageβ27Updated 4 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniquesβ44Updated last month
- FunTAL: mixing a functional language with assembly.β40Updated 7 years ago
- Racket bindings for Z3β24Updated 5 years ago