Alternatives and similar repositories for ghc-core-smallstep

Users that are interested in ghc-core-smallstep are comparing it to the libraries listed below

• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• luke-clifton / generic-monoid
  Deriving Semigroup and Monoid instances for your product types
  ☆11Updated 2 weeks ago
• dorchard / sessions-in-haskell
  Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
  ☆15Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 6 months ago
• ziman / itt
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Updated 5 years ago
• ekmett / compiler
  some compiler tech
  ☆11Updated 8 years ago
• mpickering / plugin-constraint
  ☆10Updated 7 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Updated 7 years ago
• haskell-hvr / microaeson
  A tiny JSON library with light dependency footprint
  ☆12Updated 3 weeks ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 5 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 7 years ago
• ekmett / name
  nominal sets in haskell
  ☆19Updated 6 years ago
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• andrewthad / accordion
  Extensible Records
  ☆12Updated 5 years ago
• winterland1989 / unboxed-ref
  Fast unboxed references for ST and IO monad
  ☆15Updated 8 years ago
• qfpl / dollaridoos
  A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.
  ☆14Updated last month
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 3 years ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 6 years ago
• jship / tao
  Type-level assertion operators
  ☆16Updated 7 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 4 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• ezyang / deepseq-magic
  Deep evaluation of data structures without NFData
  ☆10Updated 10 years ago
• DanielG / rts-loader
  Haskell dynamic RTS loader
  ☆13Updated 9 years ago
• LightAndLight / closure
  Closure calculus implementation
  ☆12Updated 6 years ago
• andrewthad / packed
  Unpinned byte arrays in GHC haskell
  ☆22Updated 6 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• ekmett / hyperfunctions
  playing with hyperfunctions
  ☆16Updated 4 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago