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
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆20Updated last month
• uds-psl / Prog
  ☆90Updated 3 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆65Updated 7 months ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 3 years ago
• harp-lab / gdlog
  ☆87Updated last year
• resonatehq / async-await-literature
  Papers informing the design and development of Distributed Async Await
  ☆84Updated 9 months ago
• brurucy / materialized-view
  ☆19Updated 7 months ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆26Updated last week
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated last month
• mattecapu / categorical-systems-theory
  ☆44Updated 7 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated this week
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 8 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆75Updated last month
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆64Updated 2 weeks ago
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• plasma-umass / sqlwrite
  SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
  ☆123Updated this week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆36Updated last month
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆24Updated 3 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated last year
• verse-lab / loom
  Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…
  ☆104Updated 3 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆78Updated last year
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆147Updated 8 months ago