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.
  ☆58Updated last year
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆33Updated 2 weeks ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆123Updated last year
• fplaunchpad / verified_ocaml_gc
  For Jar artifacts
  ☆20Updated 3 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆67Updated 9 months ago
• harp-lab / gdlog
  ☆87Updated last year
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆124Updated last month
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆236Updated 2 months ago
• plasma-umass / sqlwrite
  SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
  ☆124Updated 2 weeks ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆80Updated 2 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated last year
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated 2 years ago
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆37Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• resonatehq / async-await-literature
  Papers informing the design and development of Distributed Async Await
  ☆84Updated 11 months ago
• sunbains / wal-rust
  Database write ahead log in Rust.
  ☆18Updated 10 months ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆21Updated last year
• janestreet / tracing
  Tracing library
  ☆36Updated 3 weeks ago
• uds-psl / Prog
  ☆91Updated 4 years ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆53Updated 7 months ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆120Updated 8 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆24Updated 3 years ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆90Updated this week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆258Updated last year
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated last week