Alternatives and similar repositories for halma:

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

• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 4 years ago
• LightAndLight / parametricity-proofs
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Updated 6 years ago
• sjoerdvisscher / fmlist
  FoldMap lists
  ☆12Updated 2 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 2 months ago
• phadej / acme-kmett
  A collection of Edward Kmett's packages in a single repository
  ☆16Updated 4 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 10 years ago
• kcsongor / symbols
  Symbol manipulation
  ☆36Updated last year
• Gertjan423 / KHC
  KU Leuven Haskell Compiler
  ☆15Updated 3 years ago
• mstksg / decidable
  Combinators for manipulating dependently-typed predicates.
  ☆12Updated 8 months ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 7 months ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆32Updated 2 years ago
• vincenthz / cabal-db
  Various cabal query commands wrapped in a simple CLI tool
  ☆18Updated 7 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 12 years ago
• jfischoff / are-mutable-references-in-haskell-fast
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Updated 7 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 5 years ago
• sinelaw / fresh
  ☆14Updated 7 years ago
• travitch / persistent-vector
  Persistent vectors for Haskell based on array mapped tries
  ☆27Updated 2 years ago
• cstrahan / hs-capnp
  This will, one day, be a Haskell implementation of Cap'n Proto.
  ☆11Updated 9 years ago
• nikita-volkov / focus
  A general abstraction for manipulating elements of container data structures
  ☆11Updated last year
• Lysxia / unparse-attoparsec
  An attoparsec roundtrip
  ☆18Updated 4 years ago
• dorchard / sessions-in-haskell
  Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
  ☆15Updated 7 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago