Alternatives and similar repositories for halma

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

• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 3 weeks ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆71Updated 3 weeks ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 6 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 9 years ago
• esoeylemez / netwire
  FRP library
  ☆63Updated 7 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 3 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated 11 months ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 8 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 3 months ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 6 years ago
• atzedijkstra / chr
  Constraint Handling Rules
  ☆17Updated last year
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆81Updated last year
• JustusAdam / mustache
  Haskell implementation of mustache templates
  ☆102Updated 8 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 9 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 4 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆30Updated last year
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 3 weeks ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆74Updated last week
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆27Updated 9 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 3 years ago
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆59Updated 7 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 4 years ago
• haskell-pkg-janitors / haskell-src
  Library for manipulating Haskell source code
  ☆22Updated 4 months ago
• ekmett / comonad
  Haskell 98 comonads
  ☆78Updated 3 weeks ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago