Alternatives and similar repositories for OCaMOSS

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

• gsakkas / rite
  Type Error Feedback via Analytic Program Repair
  ☆16Updated 2 years ago
• lillo / compiler-course-unipi
  Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
  ☆36Updated 2 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• codex-semantics-library / codex
  The main codex repository
  ☆23Updated 9 months ago
• janestreet / splay_tree
  A splay tree implementation.
  ☆13Updated 2 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆25Updated 5 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• Chris00 / ocaml-moss
  Client for the MOSS plagiarism detection service
  ☆19Updated 5 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆12Updated 4 years ago
• Armael / cdcl
  ☆16Updated 5 years ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 8 months ago
• semgrep / little-learner-ocaml
  ☆14Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆18Updated last year
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆17Updated 7 months ago
• 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
• vasilisp / inez
  A Constraint Solver
  ☆12Updated 9 years ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆16Updated last week
• mpelleau / AbSolute
  Constraint solver based on abstract domains
  ☆32Updated 8 months ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• DeepSpec / sf
  ☆13Updated 6 months ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated 10 months ago
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Updated 2 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆42Updated 4 years ago
• vincenzoml / topochecker
  Topochecker, a topological model checker
  ☆19Updated 5 years ago
• boystrange / FuSe
  A simple library implementation of binary sessions
  ☆11Updated last year
• nyu-acsys / drift
  An abstract-interpretation-based static analysis for inferring refinement types
  ☆16Updated this week
• art-w / x-ocaml
  OCaml notebooks as a WebComponent
  ☆33Updated 3 weeks ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year