Alternatives and similar repositories for rite

Users that are interested in rite are comparing it to the libraries listed below

• jmid / qc-ptrees
  A model-based QuickCheck test of ptrees (Patricia trees)
  ☆12Updated 6 years ago
• Octachron / phantom_algebra
  Small tensor library a la GLSL
  ☆17Updated 2 years ago
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆32Updated last year
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 6 months ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆12Updated 7 years ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated last month
• nberth / mlgmpidl
  OCaml interface to the GMP library
  ☆13Updated last year
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• jfeser / bitarray
  Fast vectorized bitarrays for OCaml
  ☆16Updated 2 years ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆33Updated 3 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 3 months ago
• arlencox / SETr
  Abstract domain library for sets
  ☆9Updated 2 years ago
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 5 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 6 months ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆19Updated last year
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated 2 years ago
• OCamlPro / agrid
  agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…
  ☆14Updated 2 years ago
• charlesetc / Orb
  A quirky object oriented standard library for ocaml
  ☆17Updated 4 years ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆22Updated 9 years ago
• OCamlPro / digodoc
  Dig into an opam switch for doc
  ☆10Updated 3 years ago
• janestreet / toplevel_expect_test
  Toplevel expectation test
  ☆17Updated last month
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated last year
• arlencox / QUICr
  QUICr parametric abstract domain for sets
  ☆12Updated 10 years ago
• Firobe / 6502-ml
  6502 chip simulator in OCaml
  ☆13Updated last year
• marcoonroad / subtype-refinement
  Refinement types encoded with private types in OCaml.
  ☆10Updated 4 years ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 8 months ago
• robur-coop / git-kv
  KV implementation on top of git (mirror of https://git.robur.coop/robur/git-kv)
  ☆13Updated 3 weeks ago