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
• Chris00 / ocaml-moss
  Client for the MOSS plagiarism detection service
  ☆19Updated 6 years ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated last year
• Armael / cdcl
  ☆17Updated 6 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆37Updated 3 weeks ago
• janestreet / memtrace
  Streaming client for OCaml's Memprof
  ☆73Updated 3 weeks ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆59Updated this week
• gsakkas / rite
  Type Error Feedback via Analytic Program Repair
  ☆16Updated 2 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆31Updated 6 months ago
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Updated last year
• codex-semantics-library / codex
  The main codex repository
  ☆24Updated this week
• DeepSpec / sf
  ☆14Updated last year
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 9 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 2 weeks 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…
  ☆43Updated 10 months ago
• boystrange / FuSe
  A simple library implementation of binary sessions
  ☆11Updated last year
• codex-semantics-library / patricia-tree
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆16Updated 2 weeks ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• lukstafi / ocaml-cudajit
  Bindings to the `cuda` and `nvrtc` libraries with a unified interface
  ☆21Updated 5 months ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated last year
• fplaunchpad / iitm_ocaml_reading_group
  OCaml reading group at IIT Madras
  ☆25Updated 4 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• yurug / menhir-error-recovery
  ☆18Updated 6 years ago
• janestreet / splay_tree
  A splay tree implementation.
  ☆14Updated 3 weeks ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆18Updated last month
• Miko4 / ant
  ant is not TeX
  ☆24Updated 9 years ago
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆20Updated last year
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 3 years ago