frankmcsherry / explanation
Infrastructure for explaining the outputs of differential dataflow computations
☆21Updated 8 years ago
Related projects: ⓘ
- Distributed Data Structures in Coq☆49Updated 10 years ago
- A transducer library for Rust☆10Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- Tools to visualise and debug a timely-dataflow program☆27Updated 5 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 12 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- PLT Redex models of LVar calculi☆10Updated 9 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Finite state machines as graphs☆58Updated 4 years ago
- Slides for Pony lectures☆27Updated 6 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- ☆13Updated this week
- ☆23Updated 6 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Safely trading off consistency for performance.☆12Updated 4 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆12Updated 7 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 5 years ago
- cargo +nightly build☆34Updated 5 years ago
- Functional, Persistent Data Structures in Rust☆49Updated 9 years ago
- Superposition prover☆15Updated last year
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 8 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated last year
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 11 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆10Updated 9 years ago