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
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆235Updated last month
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆123Updated last year
• uds-psl / Prog
  ☆91Updated 3 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated 2 years ago
• resonatehq / async-await-literature
  Papers informing the design and development of Distributed Async Await
  ☆85Updated 11 months ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆124Updated last month
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆120Updated 7 months ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆21Updated last year
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆32Updated last week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆256Updated last year
• harp-lab / gdlog
  ☆87Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆67Updated 9 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆24Updated 3 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated this week
• James-Hanson / junk-theorems-in-lean
  A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
  ☆90Updated last month
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆179Updated 2 weeks ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆41Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 3 years ago
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆114Updated last month
• mattecapu / categorical-systems-theory
  ☆44Updated 9 months ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆53Updated 7 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆149Updated 9 months ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 5 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆78Updated last year
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago