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.☆58Updated last year
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆123Updated last year
- For Jar artifacts☆20Updated 2 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated 2 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆118Updated 7 months ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated last year
- Class of data structures that can be unfolded.☆22Updated 2 years ago
- ☆90Updated 3 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Updated last month
- Bolts: Stainless Verified Scala Examples☆28Updated this week
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 3 years ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆58Updated last month
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆255Updated last year
- Dafny for Metatheory of Programming Languages☆26Updated 4 months ago
- Fωμ type checker and compiler☆56Updated 2 years ago
- Demo for dependent types + runtime code generation☆72Updated 10 months ago
- Formalization of some elementary mathematical theories in Coq☆16Updated 5 years ago
- The Steel separation logic library for F*☆36Updated last month
- ☆87Updated last year
- Code and materials for my book "Pragmatic Type Level Design"☆147Updated 9 months ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24Updated 5 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 6 months ago
- Papers informing the design and development of Distributed Async Await☆84Updated 10 months ago
- Programs and Proofs -- Spring 2025 -- IITM☆20Updated 7 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆48Updated 6 months ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Tracing library☆36Updated last month