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
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• uds-psl / Prog
  ☆86Updated 3 years ago
• harp-lab / gdlog
  ☆83Updated 10 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆223Updated 6 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated last year
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆113Updated 3 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated last week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆244Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆137Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 2 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 3 years ago
• CatarinaGamboa / liquidjava
  ☆44Updated last month
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• HnimNart / deeplearning
  ☆53Updated 3 weeks ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆75Updated last month
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated 2 years ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated last month
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆123Updated 9 months 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
• teorth / symmetric_project
  ☆92Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆138Updated last week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated 2 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated 6 months ago
• mattecapu / categorical-systems-theory
  ☆43Updated 4 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆37Updated 3 months ago