Alternatives and similar repositories for hdiff:

Users that are interested in hdiff are comparing it to the libraries listed below

• jkoppel / ecta
  ☆34Updated 11 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated last week
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 4 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆29Updated 2 years ago
• harp-lab / gdlog
  ☆80Updated 4 months ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated last month
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 9 months ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆64Updated 11 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 5 years ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 5 months ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆166Updated 3 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆83Updated last month
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 10 months ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆79Updated 11 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago