Alternatives and similar repositories for ghci-hexcalc

Users that are interested in ghci-hexcalc are comparing it to the libraries listed below

• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated 4 months ago
• hvr / head.hackage
  This is not the Git repo you're looking for...
  ☆25Updated 5 years ago
• yav / dump-core
  ☆45Updated 3 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• thumphries / hgrep
  Search Haskell source code from the command line
  ☆75Updated 4 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated 2 months ago
• kcsongor / regex-type
  Regular expression matching of Haskell types
  ☆13Updated 9 years ago
• fumieval / mason
  fleet-footed ByteString builder
  ☆51Updated 10 months ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 6 years ago
• takenobu-hs / ghc-development-flow
  GHC development flow
  ☆24Updated 8 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 3 weeks ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆69Updated 6 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 2 weeks ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 4 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 2 months ago
• bergey / ghc-passes-graph
  ☆25Updated 4 years ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 2 months ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated last year
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated last week
• juhp / hkgr
  Hackager tool for releasing Haskell packages to Hackage
  ☆31Updated last month
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 4 years ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago