Alternatives and similar repositories for distillation:

Users that are interested in distillation are comparing it to the libraries listed below

• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• nilehmann / liquid-rust
  ☆38Updated 3 years ago
• metaborg / spoofax-intellij
  ☆11Updated 5 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated last week
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• tchajed / iris-simp-lang
  We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …
  ☆49Updated 7 months ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆19Updated last year
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 2 months ago
• TiarkRompf / reachability
  ☆43Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 8 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• nikomatsakis / pliss-2019
  Slides for PLISS 2019
  ☆10Updated 5 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆30Updated 4 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• pasa / asdl-rs
  ☆10Updated 5 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆35Updated last year
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆36Updated last month