clash-lang / ghc-typelits-knownnat

Related projects ⓘ

Alternatives and complementary repositories for ghc-typelits-knownnat

• takano-akio / fast-builder
  Fast ByteString Builder
  ☆22Updated 2 months ago
• expipiplus1 / vector-sized
  ☆33Updated last month
• haskell / ghc-events
  Library and tool for parsing .eventlog files from GHC
  ☆33Updated last month
• int-index / union
  Extensible type-safe unions for Haskell
  ☆32Updated 2 months ago
• luke-clifton / generic-monoid
  Deriving Semigroup and Monoid instances for your product types
  ☆11Updated 2 months ago
• ocramz / trie-perf
  Performance shootout of various trie implementations
  ☆18Updated 5 years ago
• agentultra / DataVersion
  ☆20Updated last year
• andrewthad / primitive-containers
  Map and Set over contiguous memory
  ☆21Updated last year
• byteverse / json-syntax
  High-performance JSON parser
  ☆24Updated 6 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated 6 months ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 4 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• RyanGlScott / gists
  The greatest hits of https://gist.github.com/RyanGlScott
  ☆11Updated last year
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 4 months ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 5 years ago
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆16Updated 2 months ago
• bgamari / criterion-compare
  A simple tool for visualising differences in Criterion benchmark results
  ☆14Updated 4 years ago
• jtdaugherty / text-zipper
  A text editor zipper libary
  ☆17Updated last year
• kosmikus / records-sop
  Experimental implementation of generic record subtyping
  ☆18Updated 6 months ago
• Tritlo / ExampleHolePlugin
  ☆24Updated 4 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆44Updated 3 weeks ago
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 4 years ago
• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated 5 months ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated this week
• mstksg / nonempty-containers
  Efficient non-empty variants of containers data types, with full API
  ☆25Updated 4 months ago