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
- Reference counting with linear types☆32Updated 2 months ago
- Symbolic formula representation and solver interaction library☆173Updated last week
- A graphical interactive proof assistant designed for education☆171Updated last year
- Stroll: an experimental build system☆42Updated 2 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated this week
- Domain Specific Languages for Computational Law☆78Updated 6 months ago
- ☆37Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- The SAW core language.☆55Updated 4 years ago
- A compiler for functional programs on serialized data☆174Updated last week
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- Apple array system☆69Updated 3 weeks ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Filesystem access tracer☆87Updated last year
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last week
- Build Systems à la Carte☆273Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆65Updated 6 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated 3 weeks ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- Wasm SpecTec specification tools☆82Updated this week
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Functional, expression-oriented data processing language☆89Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated last year
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆64Updated last year
- enumerative property-based testing for Haskell☆52Updated 5 months ago