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.
  ☆55Updated 7 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
  ☆19Updated last week
• redixhumayun / dst
  ☆16Updated 3 months ago
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆25Updated last month
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆18Updated 2 months ago
• eatonphil / pgexec
  Messing with Postgres query execution and hook infrastructure.
  ☆13Updated last year
• jart / matmul
  ☆18Updated 7 months ago
• eatonphil / btree-rs
  ☆21Updated last year
• Cjen1 / consensus-tlaplus
  ☆11Updated 3 months ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆30Updated 3 weeks ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆25Updated 3 months ago
• mikex86 / scicore
  A tiny deep learning library written in Java
  ☆25Updated 2 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆15Updated 4 months ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• shivance / picograd
  Rust Implementation of micrograd
  ☆51Updated 7 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 10 months ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated 6 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 10 months 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.
  ☆22Updated 2 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• substrait-io / bft
  The (B)ig (F)unction (T)axonomy is a detailed reference for common compute functions executed by different libraries, databases, and tool…
  ☆16Updated 2 months ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated 11 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last week