verse-lab / obatcher_ds
☆17Updated 4 months ago
Alternatives and similar repositories for obatcher_ds:
Users that are interested in obatcher_ds are comparing it to the libraries listed below
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆54Updated 6 months ago
- Various implementation of byte matrix multiplication☆23Updated last week
- Diagrams as text tool for visualizing concurrent operation histories☆20Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Rust Implementation of micrograd☆51Updated 6 months ago
- Zig bindings for the excellent CRoaring library☆30Updated 3 months ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆24Updated 7 years ago
- ☆18Updated 4 years ago
- A Zig implementation of the paper Decoding >100 Billion Integers per Second with Scalar Code.☆12Updated 7 months ago
- egg is a flexible, high-performance e-graph library☆11Updated 9 months ago
- A C11 compiler for the discrete logic computer☆20Updated 9 months ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆48Updated last week
- Messing with Postgres query execution and hook infrastructure.☆13Updated last year
- Training GPTs to solve interaction nets☆16Updated 5 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆40Updated 10 months ago
- ☆79Updated 2 months ago
- B-tree generator for C☆118Updated this week
- egraphs-good website☆15Updated 3 months ago
- ☆18Updated 6 months ago
- Fun with wgpu: Simulating slime mold☆24Updated 4 months ago
- The Engineer's Guide to Deep-Learning☆32Updated this week
- TLA+ specifications related to Viewstamped Replication☆31Updated last year
- Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17☆48Updated 8 months ago
- Code to estimate models in epidemiology☆9Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆69Updated last month
- 🔍 Code Search Tools & Experiments☆12Updated this week
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated last year
- Open source scholarly literature search☆15Updated 3 months ago