Alternatives and similar repositories for lean-haskell-bindings:

Users that are interested in lean-haskell-bindings are comparing it to the libraries listed below

• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• nicolabotta / SeqDecProbs
  ☆14Updated 7 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• pigworker / Bi71
  being a bidirectional reformulation of Martin-Löf's 1971 type theory
  ☆25Updated 7 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆46Updated 5 years ago
• sweirich / hs-inferno
  Generic unification-based type inference library
  ☆25Updated 9 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• OPLSS / oplss-notes-2017
  handouts and notes from the 2017 edition of the summer school
  ☆39Updated 7 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• heades / System-F-Coq
  System F in coq.
  ☆19Updated 9 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 7 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 9 years ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆15Updated 4 years ago
• mietek / research
  Work in progress
  ☆34Updated last month
• jwiegley / linearscan
  ☆17Updated 2 years ago
• joom / WangsAlgorithm
  A classical propositional theorem prover in Haskell, using Wang's Algorithm.
  ☆36Updated 5 years ago
• bitonic / tog
  ☆26Updated 7 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• wenkokke / AutoInAgda
  Proof automation – for Agda, in Agda.
  ☆44Updated 4 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago
• ekmett / fractions
  lazy continued fractions
  ☆18Updated 9 years ago