caizixian / distillation
Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
☆18Updated 2 years ago
Alternatives and similar repositories for distillation:
Users that are interested in distillation are comparing it to the libraries listed below
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- ☆11Updated 7 months ago
- Memory Management ToolKit☆33Updated last month
- Session Type EDSL for Rust☆103Updated 2 years ago
- ☆37Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- ☆10Updated 5 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- The language of the future!☆72Updated last year
- The Steel separation logic library for F*☆33Updated last week
- LVC verified compiler☆57Updated 6 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 4 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆37Updated 3 months ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Updated 4 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- ☆34Updated 11 months ago
- Forward build system with speculation and caching☆102Updated last year
- ☆54Updated 5 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- ☆11Updated 3 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago