Alternatives and similar repositories for distillation:

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

• metaborg / spoofax-intellij
  ☆11Updated last week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆34Updated last week
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• pasa / asdl-rs
  ☆10Updated 5 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆104Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 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
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆13Updated 3 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 13 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 4 months ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆37Updated 4 years ago
• xnning / Consistent-Subtyping-for-All
  Haskell implementation and Coq proof for an implicit polymorphic gradual type system.
  ☆15Updated 4 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Updated 3 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 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 …
  ☆51Updated 2 months ago
• mmtk / mmtk-openjdk
  OpenJDK binding for MMTk
  ☆34Updated this week
• SeaOfNodes / Simple-Rust
  ☆18Updated 2 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated last year
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆12Updated 3 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 6 months ago