Alternatives and similar repositories for hdiff:

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

• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆104Updated last year
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• jkoppel / ecta
  ☆35Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆75Updated last week
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆163Updated this week
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆160Updated last month
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 3 weeks ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆58Updated last year
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆36Updated 3 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 4 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated 3 weeks ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆85Updated 8 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆72Updated 2 months ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆29Updated 2 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆117Updated 2 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated 3 weeks ago
• Barry-Jay / SF
  Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
  ☆11Updated 8 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 10 months ago