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
  ☆108Updated last year
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 10 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆169Updated this week
• jkoppel / ecta
  ☆37Updated last year
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆171Updated this week
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 3 months ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 3 weeks ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆149Updated 3 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 2 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last week
• vmchale / apple
  Apple array system
  ☆67Updated last week
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆123Updated 2 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆113Updated 2 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated last week
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• Barry-Jay / SF
  Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
  ☆11Updated 8 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• au-ts / cogent
  Cogent Project
  ☆169Updated 6 months ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆46Updated 3 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 3 months ago
• snowleopard / build
  Build Systems à la Carte
  ☆256Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago