Alternatives and similar repositories for distillation

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

• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆35Updated last month
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• metaborg / spoofax-intellij
  ☆11Updated last month
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆53Updated this week
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated 2 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 5 months ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆33Updated 13 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated 2 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated 11 months ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 9 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆35Updated last month
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆29Updated last month
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 2 months ago
• mmtk / mmtk-openjdk
  OpenJDK binding for MMTk
  ☆34Updated last month
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 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 last month
• jatcwang / immix-rust
  mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
  ☆36Updated 8 years ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆37Updated 3 months ago
• nikomatsakis / rustc-on-demand-incremental-design-doc
  A draft design document / RFC describing the plan for incremental and "on-demand"
  ☆14Updated 8 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆10Updated 5 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated last week