Alternatives and similar repositories for reason-re-nfa

Users that are interested in reason-re-nfa are comparing it to the libraries listed below

• yallop / ocaml-re-nfa

  View on GitHub
  OCaml code to construct an NFA from a regular expression
  ☆53Aug 5, 2020Updated 5 years ago
• xnning / Dissertation

  View on GitHub
  My PhD Thesis
  ☆16Jan 4, 2022Updated 4 years ago
• lambda-study-group / advent-of-code

  View on GitHub
  Soluções dos problems do adventofcode.com
  ☆13Jan 8, 2021Updated 5 years ago
• EduardoRFS / reason-jvm-ffi

  View on GitHub
  ☆16Feb 3, 2021Updated 5 years ago
• yallop / ocaml-charset

  View on GitHub
  Fast char sets
  ☆20May 5, 2025Updated 9 months ago
• bvaugon / obytelib

  View on GitHub
  OCaml bytecode library tools
  ☆33Apr 19, 2022Updated 3 years ago
• dboulytchev / miniKanren-coq

  View on GitHub
  A certified semantics for relational programming workout.
  ☆26Oct 15, 2020Updated 5 years ago
• stonebuddha / eopl

  View on GitHub
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Jan 13, 2017Updated 9 years ago
• imdea-software / fcsl-pcm

  View on GitHub
  Partial Commutative Monoids
  ☆32Jun 9, 2025Updated 8 months ago
• ktahar / ocaml-lp

  View on GitHub
  LP and MIP modeling in OCaml
  ☆29Jun 24, 2025Updated 7 months ago
• gallais / pearl-binary-search

  View on GitHub
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29May 26, 2021Updated 4 years ago
• GrandeMorcego / dos-navigator-3

  View on GitHub
  ☆11Feb 4, 2020Updated 6 years ago
• johnyob / dromedary

  View on GitHub
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆49Sep 23, 2025Updated 4 months ago
• tomerlichtash / mels-loop

  View on GitHub
  Mel's Loop
  ☆14Feb 3, 2025Updated last year
• CamilleScholtz / Phosphene-win

  View on GitHub
  A Windows port of hdni's flat theme for GNOME 3.10
  ☆14Apr 5, 2014Updated 11 years ago
• raaz-crypto / verse-coq

  View on GitHub
  VERified asSembler for cryptographic primitives
  ☆12Jul 15, 2023Updated 2 years ago
• FALL1N1 / HysteriaCoreClustering

  View on GitHub
  ☆12Aug 28, 2020Updated 5 years ago
• sogladev / mod-vanilla-naxxramas

  View on GitHub
  AzerothCore custom module that brings back vanilla Naxxramas
  ☆13Jan 1, 2026Updated last month
• rmichela / GiantCaves

  View on GitHub
  A giant cave plugin for the Bukkit minecraft server
  ☆12Nov 24, 2020Updated 5 years ago
• ShayBox / VRC-YT

  View on GitHub
  Playing YouTube videos cross-platform in VRChat
  ☆10Oct 4, 2024Updated last year
• patternfly / patternfly-a11y

  View on GitHub
  ☆10Feb 4, 2026Updated last week
• askvortsov1 / hardcaml-mips

  View on GitHub
  ☆41May 19, 2022Updated 3 years ago
• NKI-AI / fastslide

  View on GitHub
  C++ whole slide image reader with native python bindings
  ☆32Jan 31, 2026Updated last week
• s-ilent / unity-birp-iesimporter

  View on GitHub
  Unity's IES importer, originally made for HDRP/CoreRP, ported to the built-in rendering pipeline.
  ☆12Aug 2, 2022Updated 3 years ago
• rocq-community / mmaps

  View on GitHub
  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
  ☆11Jun 30, 2024Updated last year
• ligurio / molly

  View on GitHub
  Framework for distributed system's verification, with fault injection.
  ☆10Jan 6, 2026Updated last month
• cloudflare / qtls-pq

  View on GitHub
  ☆13Oct 1, 2024Updated last year
• kindelia-archive / LambdaVM

  View on GitHub
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Jan 3, 2022Updated 4 years ago
• netgis / ol3

  View on GitHub
  OpenLayers 3 PhoneGap Demo
  ☆22Jun 24, 2013Updated 12 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• fhs / 9upspinfs

  View on GitHub
  9P file server for Upspin
  ☆11Feb 20, 2023Updated 2 years ago
• tjvantoll / pest-detector

  View on GitHub
  ☆13Sep 21, 2021Updated 4 years ago
• janestreet / hardcaml_verify

  View on GitHub
  Hardcaml Verification Tools
  ☆14Jan 15, 2026Updated 3 weeks ago
• Daniel15 / rTorrentWeb

  View on GitHub
  Web-based frontend for rTorrent - Migrated from old Trac website
  ☆18Oct 2, 2011Updated 14 years ago
• caballa / covenant

  View on GitHub
  A Tool for Intersecting Context-Free Grammars
  ☆10Dec 19, 2017Updated 8 years ago
• gdeest / ocaml-isl

  View on GitHub
  OCaml bindings for the Integer Set Library.
  ☆13Jun 12, 2014Updated 11 years ago
• petrmanek / rabin-karp-searcher

  View on GitHub
  Implementation of Rabin-Karp searching algorithm with Bloom Filter probabilistic data structure.
  ☆10Mar 13, 2017Updated 8 years ago
• penticons / penticons.go

  View on GitHub
  An implementation of Penticons in go programming language
  ☆10Sep 28, 2018Updated 7 years ago
• 4ad / dotfiles

  View on GitHub
  My collection of dotfiles
  ☆15May 5, 2025Updated 9 months ago