Alternatives and similar repositories for obatcher_ds

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

• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆15Updated 2 months ago
• uds-psl / Prog
  ☆87Updated 3 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 5 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆124Updated 9 months ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆17Updated last week
• janestreet / tracing
  Tracing library
  ☆34Updated last week
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• kayceesrk / cs6225_s25_iitm
  Programs and Proofs -- Spring 2025 -- IITM
  ☆19Updated 5 months ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆36Updated last week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆69Updated 2 weeks ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆113Updated 4 months ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• lillo / compiler-course-unipi
  Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
  ☆36Updated 2 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆34Updated this week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆248Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆56Updated 9 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆223Updated 6 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• prismlab / iitm_ocaml_reading_group
  OCaml reading group at IIT Madras
  ☆23Updated 3 weeks ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆113Updated this week
• HnimNart / deeplearning
  ☆53Updated last month
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆24Updated this week