verse-lab / obatcher_ds

Related projects ⓘ

Alternatives and complementary repositories for obatcher_ds

• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆53Updated 4 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆20Updated 2 weeks ago
• mattecapu / categorical-systems-theory
  ☆35Updated 4 months ago
• jart / matmul
  ☆18Updated 4 months ago
• eatonphil / btree-rs
  ☆20Updated 11 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 3 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 7 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆15Updated last month
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• brurucy / materialized-view
  ☆12Updated 4 months ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated 2 weeks ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆12Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last month
• tidwall / bgen
  B-tree generator for C
  ☆104Updated this week
• XinyuZeng / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆46Updated 6 months ago
• eatonphil / pgexec
  Messing with Postgres query execution and hook infrastructure.
  ☆12Updated last year
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆30Updated 2 months ago
• harp-lab / gdlog
  ☆75Updated 3 weeks ago
• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆43Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• nurturenature / jepsen-tigerbeetle
  A Jepsen Test for TigerBeetle.
  ☆13Updated 2 years ago
• robsimmons / dusa
  A petrifyingly good logic programming language
  ☆30Updated this week
• LAC-Tech / interlog
  A local first persistent log
  ☆32Updated this week
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week