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
• plasma-umass / sqlwrite
  SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
  ☆122Updated 9 months ago
• resonatehq / async-await-literature
  Papers informing the design and development of Distributed Async Await
  ☆79Updated 5 months ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 11 months ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆71Updated 7 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆69Updated 6 months ago
• eatonphil / btree-rs
  ☆21Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated last month
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 11 months ago
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• tidwall / bgen
  B-tree generator for C
  ☆139Updated 3 months ago
• s-hironobu / guide2dl
  The Engineer's Guide to Deep-Learning
  ☆37Updated 6 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 6 months ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 6 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• mikex86 / scicore
  A tiny deep learning library written in Java
  ☆25Updated 2 years ago
• vaibhawvipul / concurrent-sat-solver-rs
  a simple concurrent/parallel sat solver implementation in rust
  ☆18Updated last year
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆106Updated 3 weeks ago
• jart / matmul
  ☆18Updated last year
• kanpuriyanawab / picograd
  Rust Implementation of micrograd
  ☆52Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆75Updated 2 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 3 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆219Updated 4 months ago
• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆36Updated 2 months ago
• nreHieW / r-nn
  Tensor library with autograd using only Rust's standard library
  ☆68Updated last year
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆223Updated 2 months ago
• harp-lab / gdlog
  ☆83Updated 9 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• oschonrock / binfuse
  c++ library for binary fuse filters, including a sharded filter
  ☆91Updated 6 months ago