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.
  ☆54Updated 8 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆25Updated 2 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• shivance / picograd
  Rust Implementation of micrograd
  ☆51Updated 8 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 11 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 7 months ago
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• jart / matmul
  ☆18Updated 8 months ago
• eatonphil / pgexec
  Messing with Postgres query execution and hook infrastructure.
  ☆13Updated last year
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆38Updated 11 years ago
• simonw / llm-docs
  LLM plugin providing access to the LLM documentation
  ☆17Updated last month
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated last month
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 5 months ago
• redixhumayun / dst
  ☆16Updated 4 months ago
• eatonphil / btree-rs
  ☆21Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 11 months ago
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆19Updated 3 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆15Updated 5 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 3 months ago
• tidwall / bgen
  B-tree generator for C
  ☆125Updated last month
• 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,…
  ☆29Updated 3 years ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆50Updated 3 weeks ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆22Updated last year
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆59Updated 3 months ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆19Updated last month
• pcholakov / p-promises
  A P model of durable Promises
  ☆13Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆60Updated 8 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆39Updated 9 months ago