SeaOfNodes / Simple-RustLinks
☆19Updated 3 months ago
Alternatives and similar repositories for Simple-Rust
Users that are interested in Simple-Rust are comparing it to the libraries listed below
Sorting:
- An experimental optimizing compiler for Bril☆69Updated this week
- The Pulse separation logic DSL for F*☆16Updated this week
- Why can't a tree be called Pluplusch?☆28Updated last month
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago
- RustHorn: A CHC-based automated verifier for Rust☆83Updated 2 months ago
- The Next Generation of Compositional Programming☆27Updated 2 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- A toy dependent typed language.☆29Updated last week
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- ☆37Updated 3 years ago
- world's worst interpreter☆62Updated last month
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆27Updated last month
- dependent type theory experiment☆26Updated last year
- Liquid Types implementation for Rust☆29Updated 2 years ago
- A WIP little dependently-typed systems language☆41Updated 9 months ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A fully-featured lexer generator, implemented as a proc macro☆69Updated this week
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Automagical variable binding library for Rust☆67Updated 5 years ago
- A Language with Dependent Data and Codata Types☆104Updated 2 weeks ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- ☆58Updated 8 months ago
- Datalog with equality for rust☆68Updated last month
- ☆19Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago