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:
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- Forward build system with speculation and caching☆109Updated 2 years ago
- Symbolic formula representation and solver interaction library☆169Updated last week
- Stroll: an experimental build system☆41Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 3 months ago
- Reference counting with linear types☆31Updated 2 months ago
- A compiler for functional programs on serialized data☆172Updated last week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated last week
- ☆37Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆117Updated last week
- Apple array system☆68Updated 2 weeks ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆116Updated last week
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆151Updated 4 months ago
- The Makam Metalanguage☆200Updated 2 years ago
- Functional, expression-oriented data processing language☆90Updated 2 weeks ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆65Updated last year
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- Detect what files a program uses and rerun it when they change☆46Updated 3 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Lean type-checker written in Scala.☆40Updated 3 years ago
- Build Systems à la Carte☆258Updated last year
- A library for benign effects in Haskell☆20Updated 5 months ago
- Cogent Project☆169Updated 7 months ago
- Toy typechecker for Insanely Dependent Types☆82Updated last month