verse-lab / obatcher_dsLinks
☆20Updated last year
Alternatives and similar repositories for obatcher_ds
Users that are interested in obatcher_ds are comparing it to the libraries listed below
Sorting:
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- ☆85Updated 3 years ago
- TLA+ specifications for Kafka related algorithms☆72Updated 7 months ago
- world's worst interpreter☆62Updated 4 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆243Updated 11 months ago
- Class of data structures that can be unfolded.☆22Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆137Updated last week
- Papers informing the design and development of Distributed Async Await☆79Updated 6 months ago
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆122Updated 10 months ago
- Code and materials for my book "Pragmatic Type Level Design"☆143Updated 4 months ago
- ☆21Updated last year
- VSCode extension that is designed to help automate writing of Coq proofs.☆112Updated 2 months ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 2 years ago
- a simple concurrent/parallel sat solver implementation in rust☆18Updated last year
- Training GPTs to solve interaction nets☆17Updated last year
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 2 months ago
- For Jar artifacts☆15Updated last month
- A local first persistent log☆36Updated 2 months ago
- A bogus CPU emulator written in Rust.☆52Updated last year
- B-tree generator for C☆140Updated 3 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆121Updated 8 months ago
- Azure Cosmos TLA+ specifications☆22Updated 7 months ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- Learn TLA+ for free! No prior experience necessary!☆221Updated 5 months ago
- a categorical deep learning compiler☆203Updated 6 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated 2 years ago