ReasonML code to construct an NFA from a regular expression
☆24Mar 22, 2019Updated 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:
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- ☆16Feb 3, 2021Updated 5 years ago
- OCaml bytecode library tools☆33Apr 19, 2022Updated 3 years ago
- A certified semantics for relational programming workout.☆26Oct 15, 2020Updated 5 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Dec 10, 2020Updated 5 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Partial Commutative Monoids☆32Feb 18, 2026Updated 2 weeks ago
- LP and MIP modeling in OCaml☆29Jun 24, 2025Updated 8 months ago
- ☆16Nov 15, 2024Updated last year
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Jan 30, 2021Updated 5 years ago
- A simple centralized, cross-platform credential manager using GPG encryption.☆11May 7, 2018Updated 7 years ago
- ☆11Feb 4, 2020Updated 6 years ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆49Sep 23, 2025Updated 5 months ago
- Roboadvisors claim they are democratizing the access to advanced advisory services of wealth management. Well, we think that if it is not…☆11Jun 10, 2021Updated 4 years ago
- A Windows port of hdni's flat theme for GNOME 3.10☆14Apr 5, 2014Updated 11 years ago
- AzerothCore custom module that brings back vanilla Naxxramas☆13Jan 1, 2026Updated 2 months ago
- A giant cave plugin for the Bukkit minecraft server☆12Nov 24, 2020Updated 5 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- ☆10Feb 4, 2026Updated last month
- Mel's Loop☆14Updated this week
- A simple and silly hidden objects / explosion game for kids and adults☆12Jul 13, 2018Updated 7 years ago
- ☆41May 19, 2022Updated 3 years ago
- The toolkit called magyarlanc aims at the basic linguistic processing of Hungarian texts. The toolkit consists of only JAVA modules (the…☆14Jun 21, 2016Updated 9 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Framework for distributed system's verification, with fault injection.☆10Jan 6, 2026Updated 2 months ago
- Different patterns made with shaders☆11Jul 20, 2019Updated 6 years ago
- Provides extended link properties: size of linked file, last modified time, etc., extension for Firefox, SeaMonkey and Thunderbird☆10Jul 22, 2025Updated 7 months ago
- Project Trellis database☆14Sep 15, 2025Updated 5 months ago
- ☆15Jan 27, 2015Updated 11 years ago
- A live camera C++ example on a Raspberry Pi in OpenCV☆12Dec 7, 2021Updated 4 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- simple and functional concurrency primitives for Clojure☆50Mar 26, 2018Updated 7 years ago
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- My collection of dotfiles☆15Feb 16, 2026Updated 2 weeks ago
- ☆10Oct 20, 2025Updated 4 months ago
- A proposal for work branch management commands☆14Jul 16, 2016Updated 9 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago