Alternatives and similar repositories for hermit:

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

• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• pigworker / Pivotal
  ☆31Updated 10 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 7 months ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 4 months ago
• OlafChitil / hat
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Updated last year
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆64Updated 2 months ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 6 months ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago