pasa / asdl-rs
☆10Updated 5 years ago
Alternatives and similar repositories for asdl-rs:
Users that are interested in asdl-rs are comparing it to the libraries listed below
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 5 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- SML The Living Language☆11Updated 11 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- Nested Relational Calculus embedded in Haskell☆16Updated 12 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A simple induction and BMC engine.☆23Updated 2 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 6 years ago
- The Steel separation logic library for F*☆33Updated this week
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆19Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆32Updated 10 months ago
- ☆37Updated 3 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 8 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆19Updated 4 months ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago