Alternatives and similar repositories for iitm_ocaml_reading_group

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

• hardik118 / RepoToolFrtn
  ☆18Updated 2 months ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆19Updated 3 months ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 3 weeks ago
• andrejbauer / faux-type-theory
  ☆44Updated last month
• askvortsov1 / hardcaml-mips
  ☆38Updated 3 years ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆53Updated this week
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• linoscope / caml8
  A CHIP8 emulator written in OCaml
  ☆25Updated 3 years ago
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆19Updated last year
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 2 months ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆25Updated last year
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆17Updated this week
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Updated last year
• ngernest / mica
  A PPX deriver that automates differential testing for OCaml modules
  ☆25Updated 11 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• kayceesrk / cs3100_f19
  CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
  ☆19Updated 2 years ago
• fpottier / baby
  A balanced binary search tree library for OCaml
  ☆21Updated 10 months ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Updated last year
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆49Updated 3 weeks ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated this week
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 11 months ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆39Updated 10 months ago
• AU-COBRA / coq-rust-extraction
  Coq plugin for extracting Rust code
  ☆13Updated last week
• janestreet / parallel
  OxCaml Parallelism
  ☆33Updated last month
• CoqHott / exceptional-tt
  A Coq plugin that implements exceptions in Coq
  ☆13Updated 4 years ago
• awslabs / AutoCorrode
  Verification infrastructure for the Isabelle/HOL interactive proof assistant
  ☆43Updated this week