VictorCMiraldo / hdiffLinks
Hash-based Diffing for AST's
☆77Updated 5 years ago
Alternatives and similar repositories for hdiff
Users that are interested in hdiff are comparing it to the libraries listed below
Sorting:
- Forward build system with speculation and caching☆110Updated 2 years ago
- A graphical interactive proof assistant designed for education☆169Updated last year
- Stroll: an experimental build system☆41Updated 2 years ago
- ☆37Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆92Updated 2 weeks ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- Reference counting with linear types☆31Updated 2 weeks ago
- Symbolic formula representation and solver interaction library☆171Updated last week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- Domain Specific Languages for Computational Law☆77Updated 5 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆115Updated 2 weeks ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A compiler for functional programs on serialized data☆172Updated last week
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Apple array system☆68Updated last week
- The Next Generation of Compositional Programming☆54Updated 2 weeks ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated 2 months ago
- Functional, expression-oriented data processing language☆90Updated last week
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last month
- Interpret Haskell programs into any cartesian closed category.☆67Updated 2 weeks ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 2 months ago
- The SAW core language.☆55Updated 4 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- Library for invertible parsing and printing☆33Updated 3 months ago
- Toy typechecker for Insanely Dependent Types☆82Updated last month