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.☆57Updated last year
- world's worst interpreter☆62Updated 6 months ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last week
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- ☆83Updated last year
- Azure Cosmos TLA+ specifications☆22Updated 9 months ago
- Programs and Proofs -- Spring 2025 -- IITM☆19Updated 5 months ago
- ☆87Updated 3 years 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!☆227Updated 7 months ago
- Bolts: Stainless Verified Scala Examples☆26Updated last week
- A bogus CPU emulator written in Rust.☆53Updated last year
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆144Updated 3 weeks ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆250Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Memory Management ToolKit☆37Updated 3 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆148Updated last week
- Papers informing the design and development of Distributed Async Await☆84Updated 8 months ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- Proof assistant based on first-order logic and set theory☆63Updated 2 weeks ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆112Updated 4 months ago
- a simple concurrent/parallel sat solver implementation in rust☆20Updated last year
- Support for for students (Python)☆68Updated last month
- For Jar artifacts☆19Updated 3 months ago