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☆108Updated last year
- A graphical interactive proof assistant designed for education☆169Updated 9 months ago
- Symbolic formula representation and solver interaction library☆168Updated last week
- Stroll: an experimental build system☆41Updated 2 years ago
- A compiler for functional programs on serialized data☆167Updated this week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Apple array system☆67Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- ☆36Updated last year
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆112Updated last month
- Build Systems à la Carte☆255Updated last year
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 2 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Reference counting with linear types☆31Updated this week
- The SAW core language.☆54Updated 4 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month
- Proposed documentation for alloytools.org☆70Updated 10 months ago
- 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.☆60Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated 11 months ago
- Haskell In New Clothes☆110Updated 5 years ago