Alternatives and similar repositories for Typonomikon

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

• Tehnix / miso-isomorphic-stack
  An example of an "isomorphic" Miso server set up with stack
  ☆43Updated 4 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• shajra / haskell-hls-nix
  Nix builds of Haskell Language Server
  ☆47Updated last year
• dfithian / th-tutorial
  Template Haskell Workshop
  ☆52Updated 3 years ago
• tdietert / types-as-specifications
  ☆49Updated 5 years ago
• Lysxia / first-class-families
  First-class type families
  ☆88Updated last month
• ElvishJerricco / reflex-project-skeleton
  ☆68Updated 4 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• EncodePanda / todo-rest
  Example of usage polysemy and servant
  ☆56Updated 5 years ago
• chordify / redis-schema
  Typed, schema-based, composable Redis library for Haskell
  ☆10Updated 11 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆100Updated last month
• haskellfoundation / volunteering
  Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.
  ☆26Updated 2 years ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆81Updated 5 years ago
• freeman42x / haskell-editor-setup
  Easy instructions for setting up Haskell editors / IDEs on any major operating system.
  ☆101Updated last year
• mpickering / eventlog2html
  Visualise eventlog events as a static webpage
  ☆72Updated 3 weeks ago
• cvogt / 2020-07-01-haskell-game-demo
  "Writing 2D games using super simple Haskell" at Haskell Love 2020 conference https://haskell.love/jan-christopher-vogt/
  ☆29Updated 4 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 9 months ago
• aaronallen8455 / breakpoint
  Set breakpoints using a GHC plugin
  ☆49Updated last year
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated last year
• marcin-rzeznicki / libjwt-typed
  A Haskell implementation of JSON Web Token (JWT)
  ☆36Updated last year
• brandonchinn178 / aeson-schemas
  Easily consume JSON data on-demand with type-safety
  ☆57Updated 3 months ago
• IxpertaSolutions / freer-effects
  An implementation of "Freer Monads, More Extensible Effects".
  ☆64Updated 6 years ago
• lexi-lambda / mtl-style-example
  A small example of using mtl style to unit test effectful code
  ☆106Updated 7 years ago
• haskell / cabal-cache
  CI assistant
  ☆46Updated 3 weeks ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated last week
• bellroy / wai-handler-hal
  Run a WAI application as the backend Lambda of an AWS API Gateway REST API
  ☆25Updated this week
• polysemy-research / polysemy-zoo
  Experimental, user-contributed effects and interpreters for polysemy
  ☆72Updated last year
• ghcjs / ghcjs-dom
  Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk
  ☆75Updated 7 months ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 5 months ago
• haskell-waargonaut / waargonaut
  JSON decoding/encoding/manipulation library.
  ☆93Updated 2 years ago