Alternatives and similar repositories for OCaMOSS

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

• lillo / compiler-course-unipi
  Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
  ☆36Updated 3 years ago
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆20Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated last year
• janestreet / memtrace
  Streaming client for OCaml's Memprof
  ☆72Updated last year
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆44Updated 2 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 3 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆42Updated 9 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆50Updated 3 weeks ago
• janestreet / parallel
  OxCaml Parallelism
  ☆36Updated last month
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated 4 months ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆33Updated last month
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆43Updated 2 weeks ago
• ngernest / mica
  A PPX deriver that automates differential testing for OCaml modules
  ☆25Updated last year
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆59Updated this week
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• LexiFi / grep_cmt
  ☆24Updated last year
• art-w / x-ocaml
  OCaml notebooks as a WebComponent
  ☆47Updated 3 months ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆40Updated last year
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆17Updated last week
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• gsakkas / rite
  Type Error Feedback via Analytic Program Repair
  ☆16Updated 2 years ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆26Updated last year
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆86Updated last year
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Updated last year
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆29Updated 6 months ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated last year
• ocaml-sf / learn-ocaml-corpus
  A corpus of automatically graded exercises to learn functional programming in OCaml.
  ☆31Updated last year
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆39Updated 2 years ago