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
- 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 pure type system implemented in OCaml☆78Updated 4 years ago
- How do you do that recursive GADT thing again?☆28Updated last year
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Mystery Languages☆41Updated 2 years ago
- literate programming meets unison☆29Updated 2 weeks ago
- Experiment on how to bootstrap the OCaml compiler☆108Updated 3 years ago
- ☆44Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Specification of the Cedille Core language☆33Updated 5 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Nanopass for OCaml☆147Updated 7 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆113Updated 2 months ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 7 months ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Logic for story telling!☆34Updated 7 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆30Updated this week
- A relational interpretation of Lojban☆34Updated 2 months ago
- A formalization of System Fω in Agda☆19Updated 7 months ago
- The original parsing with derivatives haskell implementation☆12Updated 10 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated last year
- A template for you to implement Hazelnut yourself☆22Updated 2 months ago