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.
  ☆57Updated last year
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆19Updated last week
• uds-psl / Prog
  ☆89Updated 3 years ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆113Updated 5 months ago
• plasma-umass / sqlwrite
  SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
  ☆122Updated last year
• resonatehq / async-await-literature
  Papers informing the design and development of Distributed Async Await
  ☆84Updated 8 months ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆251Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆129Updated 11 months ago
• kayceesrk / cs6225_s25_iitm
  Programs and Proofs -- Spring 2025 -- IITM
  ☆19Updated 6 months ago
• mattecapu / categorical-systems-theory
  ☆44Updated 6 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆63Updated 6 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 11 months ago
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆147Updated 7 months ago
• harp-lab / gdlog
  ☆88Updated last year
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 9 months ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆162Updated last week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆228Updated 8 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated 3 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 9 months ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆102Updated 2 weeks ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• janestreet / tracing
  Tracing library
  ☆34Updated last week