verse-lab / obatcher_dsLinks
☆19Updated 9 months ago
Alternatives and similar repositories for obatcher_ds
Users that are interested in obatcher_ds are comparing it to the libraries listed below
Sorting:
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆55Updated 11 months ago
- Various implementation of byte matrix multiplication☆26Updated 5 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Diagrams as text tool for visualizing concurrent operation histories☆21Updated 4 months ago
- ☆18Updated 11 months ago
- Rust Implementation of micrograd☆52Updated 11 months ago
- Harmonia is an algorithm that allows for the implementation of operations on B+ trees using parallelization. As a part of my GPU project,…☆30Updated 3 years ago
- A GPU Accelerated Binary Vector Store☆47Updated 4 months ago
- The A+ programming language from Morgan Stanley☆38Updated 11 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- ☆18Updated 4 years ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆19Updated 4 months ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆70Updated 6 months ago
- ☆82Updated 8 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Support for for students (Python)☆64Updated last month
- Open source scholarly literature search☆16Updated 8 months ago
- egraphs-good website☆17Updated 8 months ago
- Java 8 Collection Utilities☆9Updated 3 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆39Updated this week
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆122Updated 7 months ago
- A SQL query compiler written in Rust from scratch☆22Updated 9 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 2 years ago
- ☆18Updated last month
- Tensor library & inference framework for machine learning☆77Updated last week
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated last year
- A probabilistic approximate DNF counter☆37Updated 3 weeks ago
- A star for organising blocks and playing with transformers.☆23Updated last year