SeaOfNodes / Simple-Rust
☆17Updated last month
Alternatives and similar repositories for Simple-Rust:
Users that are interested in Simple-Rust are comparing it to the libraries listed below
- A MinCaml compiler implemented in Rust☆45Updated last year
- Formal semantics of Rust☆23Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated 11 months ago
- The Pulse separation logic DSL for F*☆14Updated this week
- An experimental optimizing compiler for Bril☆65Updated 2 weeks ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆24Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆95Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆38Updated 3 months ago
- Learn Lean 4 with PLFA proofs.☆58Updated 11 months ago
- RustHorn: A CHC-based automated verifier for Rust☆76Updated 2 weeks ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Liquid Types implementation for Rust☆28Updated 2 years ago
- A fully-featured lexer generator, implemented as a proc macro☆69Updated 3 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆97Updated 2 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated 3 weeks ago
- A toy dependent typed language.☆28Updated last week
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆22Updated this week
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A Language with Dependent Data and Codata Types☆94Updated this week
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 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
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- ☆37Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 10 months ago
- ☆58Updated 6 months ago