Alternatives and similar repositories for Simple-Rust:

Users that are interested in Simple-Rust are comparing it to the libraries listed below

• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 4 months ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆76Updated last month
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated last week
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated 2 weeks ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆44Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆66Updated this week
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆66Updated last month
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated 2 weeks ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆26Updated 3 weeks ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 5 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 8 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆117Updated 4 years ago
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 4 years ago
• osa1 / lexgen
  A fully-featured lexer generator, implemented as a proc macro
  ☆69Updated 4 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆97Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 6 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆60Updated this week
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆97Updated 2 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆99Updated last week
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆26Updated 2 years ago