VictorCMiraldo / hdiffLinks
Hash-based Diffing for AST's
☆76Updated 5 years ago
Alternatives and similar repositories for hdiff
Users that are interested in hdiff are comparing it to the libraries listed below
Sorting:
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- A graphical interactive proof assistant designed for education☆166Updated 6 months ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Reference counting with linear types☆31Updated 10 months ago
- Forward build system with speculation and caching☆106Updated last year
- ☆35Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- A functional fluent API generator☆34Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Apple array system☆66Updated 2 weeks ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated this week
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 3 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆58Updated 7 months ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Symbolic formula representation and solver interaction library☆161Updated last month
- A pure type system implemented in OCaml☆77Updated 4 years ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- Domain Specific Languages for Computational Law☆74Updated 3 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 weeks ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Datatypes as quotients of polynomial functors☆35Updated 5 years ago