Alternatives and similar repositories for ghc-typelits-knownnat

Users that are interested in ghc-typelits-knownnat are comparing it to the libraries listed below

• gelisam / magic-typelevel-elem

  View on GitHub
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Dec 29, 2020Updated 5 years ago
• lehins / massiv-io

  View on GitHub
  Read and write images as massiv arrays
  ☆13Oct 23, 2021Updated 4 years ago
• emilypi / nonempty-vector

  View on GitHub
  Non-empty Vectors
  ☆26Apr 17, 2025Updated 10 months ago
• fumieval / Monaris

  View on GitHub
  A simple tetris clone
  ☆26Aug 29, 2022Updated 3 years ago
• clash-lang / ghc-typelits-natnormalise

  View on GitHub
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated this week
• brandonchinn178 / github-rest

  View on GitHub
  A flexible Haskell API for querying the GitHub REST API
  ☆15Jan 7, 2026Updated last month
• stackbuilders / hspec-golden

  View on GitHub
  Golden tests with Hspec
  ☆29Oct 31, 2025Updated 3 months ago
• gelisam / typelevel-rewrite-rules

  View on GitHub
  rewrite rules for type-level equalities
  ☆62Aug 29, 2025Updated 5 months ago
• haskell-actions / run-ormolu

  View on GitHub
  Ormolu GitHub action
  ☆32Nov 26, 2025Updated 2 months ago
• clash-lang / ghc-typelits-extra

  View on GitHub
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆18Jan 16, 2026Updated last month
• tfausak / splint

  View on GitHub
  HLint as a GHC source plugin.
  ☆31Jul 8, 2024Updated last year
• con-kitty / categorifier-c

  View on GitHub
  Haskell to C compiler via Categorifier
  ☆39Dec 15, 2023Updated 2 years ago
• hedgehogqa / haskell-hedgehog-classes

  View on GitHub
  Hedgehog will eat your typeclass bugs
  ☆57Jun 3, 2025Updated 8 months ago
• fumieval / webauthn

  View on GitHub
  Haskell implementation of the server-side verifier for Web Authentication API
  ☆15Jan 5, 2022Updated 4 years ago
• kowainik / type-errors-pretty

  View on GitHub
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Mar 7, 2022Updated 3 years ago
• chessai / pump

  View on GitHub
  reverse dependency build matrix generator
  ☆33Sep 19, 2020Updated 5 years ago
• kowainik / eio

  View on GitHub
  🎯 IO with Exceptions tracked on the type-level
  ☆58Apr 6, 2021Updated 4 years ago
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• kcsongor / symbols

  View on GitHub
  Symbol manipulation
  ☆37Apr 17, 2023Updated 2 years ago
• jaspervdj / blaze-markup

  View on GitHub
  Core modules for a blazing fast markup combinator library
  ☆24May 25, 2025Updated 8 months ago
• kowainik / validation-selective

  View on GitHub
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆72Jan 2, 2026Updated last month
• twanvl / simple-reflect

  View on GitHub
  Simple reflection of expressions
  ☆34Jun 18, 2021Updated 4 years ago
• kowainik / unlift

  View on GitHub
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Apr 21, 2021Updated 4 years ago
• byteverse / country

  View on GitHub
  Haskell data types and functions for countries
  ☆28Mar 7, 2025Updated 11 months ago
• fused-effects / fused-effects-lens

  View on GitHub
  Lens combinators for fused-effects.
  ☆17Oct 19, 2020Updated 5 years ago
• tdammers / ghc-wiki

  View on GitHub
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Mar 9, 2019Updated 6 years ago
• yesodweb / haskell-xss-sanitize

  View on GitHub
  prevent XSS attacks by sanitizing html (this is different then escaping!)
  ☆22Oct 14, 2023Updated 2 years ago
• haskell-servant / servant-blaze

  View on GitHub
  ☆12Dec 13, 2025Updated 2 months ago
• yamadapc / haskell-hspec-setup

  View on GitHub
  Add a hspec test-suite in one command
  ☆10Aug 22, 2016Updated 9 years ago
• tsurucapital / franz

  View on GitHub
  Append-only list persist & query system
  ☆27Jan 27, 2022Updated 4 years ago
• fpco / ghc-prof-flamegraph

  View on GitHub
  ☆80Oct 4, 2022Updated 3 years ago
• ocharles / hlint-source-plugin

  View on GitHub
  Run HLint as part of normal compilation
  ☆47Aug 11, 2018Updated 7 years ago
• phadej / overloaded

  View on GitHub
  Overloaded plugin
  ☆31Jun 15, 2024Updated last year
• ulidtko / cabal-doctest

  View on GitHub
  A Setup.hs shim for running doctests
  ☆31Jan 6, 2026Updated last month
• kowainik / hit-on

  View on GitHub
  Kowainik Git Workflow Helper Tool
  ☆76Jan 13, 2023Updated 3 years ago
• haskell-github-trust / replace-attoparsec

  View on GitHub
  Stream editing with Haskell Attoparsec parsers
  ☆14May 30, 2023Updated 2 years ago
• hasktorch / ffi-experimental

  View on GitHub
  (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…
  ☆11Sep 13, 2019Updated 6 years ago
• TristanCacqueray / hadertoy

  View on GitHub
  Haskell implementation of Glumpy
  ☆12Jun 21, 2021Updated 4 years ago
• sjakobi / awesome-haskell-tutorial-modules

  View on GitHub
  A curated list of awesome Haskell tutorial modules
  ☆13Nov 9, 2025Updated 3 months ago