verse-lab / obatcher_ds

Related projects ⓘ

Alternatives and complementary repositories for obatcher_ds

• 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 last week
• jart / matmul
  ☆18Updated 4 months ago
• shivance / picograd
  Rust Implementation of micrograd
  ☆51Updated 4 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆15Updated last month
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆30Updated this week
• XinyuZeng / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆45Updated 5 months ago
• eatonphil / btree-rs
  ☆20Updated 11 months ago
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• charlesfrye / cuda-substrings
  Because it's there.
  ☆14Updated last month
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated 2 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.
  ☆30Updated 2 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• eatonphil / pgexec
  Messing with Postgres query execution and hook infrastructure.
  ☆12Updated 11 months ago
• mattecapu / categorical-systems-theory
  ☆35Updated 4 months ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆25Updated 7 months ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆47Updated this week
• LAC-Tech / interlog
  A local first persistent log
  ☆32Updated this week
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last month
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 9 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 6 months ago
• JustKshitijD / Harmonia_for_B_plus_trees
  Harmonia is an algorithm that allows for the implementation of operations on B+ trees using parallelization. As a part of my GPU project,…
  ☆27Updated 3 years ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated this week
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆53Updated this week
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• mattsta / datakit
  datakit is a collection of the most memory efficient data structures in the universe
  ☆17Updated 4 months ago
• dorjeduck / momograd
  A Learning Journey: Micrograd in Mojo 🔥
  ☆57Updated 3 weeks ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 7 months ago