Alternatives and similar repositories for hdiff

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

• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 9 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year
• jkoppel / ecta
  ☆36Updated last year
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆166Updated last week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 3 weeks ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆149Updated 2 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆166Updated 2 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• vmchale / apple
  Apple array system
  ☆67Updated 2 weeks ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated 3 weeks ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆114Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 10 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆55Updated last week
• Barry-Jay / SF
  Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
  ☆11Updated 8 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆77Updated 4 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated last week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆110Updated this week
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated 2 weeks ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆111Updated last month
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 7 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆60Updated last year
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆223Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 10 months ago