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:
- Forward build system with speculation and caching☆106Updated last year
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- Stroll: an experimental build system☆40Updated 2 years ago
- ☆35Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆52Updated 4 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- Symbolic formula representation and solver interaction library☆161Updated this week
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆79Updated this week
- A compiler for functional programs on serialized data☆164Updated last week
- Reference counting with linear types☆31Updated 11 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- The SAW core language.☆54Updated 4 years ago
- Apple array system☆66Updated this week
- APIs for more recursive definitions☆19Updated 7 months ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Updated 2 years ago
- Example uses of linear types☆43Updated 4 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Content Addressable Storage Archive☆41Updated last year
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆30Updated 10 months ago
- Convert Haskell source code to Coq source code.☆85Updated this week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 8 months ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago