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 2 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• semgrep / little-learner-ocaml
  ☆14Updated 2 years ago
• Chris00 / ocaml-moss
  Client for the MOSS plagiarism detection service
  ☆19Updated 6 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆17Updated 2 months ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆48Updated this week
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 11 months ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated 2 weeks ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆33Updated 2 weeks ago
• gsakkas / rite
  Type Error Feedback via Analytic Program Repair
  ☆16Updated 2 years ago
• RyanGibb / eon
  Effects-based OCaml Nameserver
  ☆24Updated 4 months ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆25Updated last year
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Updated last year
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆50Updated last week
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆11Updated 3 years ago
• ngernest / mica
  A PPX deriver that automates differential testing for OCaml modules
  ☆25Updated 10 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 2 months ago
• janestreet / memtrace
  Streaming client for OCaml's Memprof
  ☆69Updated last year
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Updated 4 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆39Updated 10 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆75Updated last week
• boystrange / FuSe
  A simple library implementation of binary sessions
  ☆11Updated last year
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated last year
• linoscope / caml8
  A CHIP8 emulator written in OCaml
  ☆25Updated 3 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆24Updated 3 years ago