Alternatives and similar repositories for gcodehs:

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

• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 8 months ago
• SamuelSchlesinger / summer
  Extensible sums and products for Haskell
  ☆19Updated last year
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 8 months ago
• ndmitchell / hexml
  A bad XML parser
  ☆20Updated 5 months ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆33Updated 5 months ago
• expipiplus1 / orbits
  A package dealing with Kepler orbits.
  ☆11Updated 2 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 4 years ago
• bergey / ghc-passes-graph
  ☆25Updated 4 years ago
• emilaxelsson / trackit
  A command-line tool for live monitoring
  ☆25Updated 2 years ago
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆26Updated last month
• phadej / kleene-type
  Regular expressions of types
  ☆16Updated 6 years ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated 9 months ago
• ekmett / parsnip
  ☆18Updated 3 years ago
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆43Updated 3 months ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated 11 months ago
• shapr / trynocular
  lazy generators with observation
  ☆14Updated last year
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 months ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 5 years ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆14Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated last month
• TOTBWF / agda-tic-tac-toe
  Tic Tac Toe, formalized in Agda
  ☆23Updated 3 years ago
• klapaucius / vector-hashtables
  ☆33Updated 9 months ago