abailly / xxi-century-typedLinks
Support code for talk 'XXIst century shall be typed or not be'
☆15Updated 3 years ago
Alternatives and similar repositories for xxi-century-typed
Users that are interested in xxi-century-typed are comparing it to the libraries listed below
Sorting:
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Updated 3 years ago
 - static analysis of free monads☆24Updated 7 years ago
 - Reasonable Haskell default import☆27Updated 3 years ago
 - Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated last year
 - effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 2 months ago
 - An implementation of the game Love Letter in the terminal, written in Haskell.☆16Updated 6 years ago
 - Property based testing for Servant using Hedgehog☆19Updated 4 years ago
 - 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
 - High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
 - 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
 - A command-line replacement for the Google Authenticator App☆25Updated last year
 - open union and open product types in Haskell☆32Updated 5 years ago
 - Non-empty Vectors☆26Updated 6 months ago
 - Dual Traversable☆41Updated 2 years ago
 - ☆24Updated last week
 - Funny little Haskell impl☆18Updated 5 years ago
 - Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
 - Edit is a monad for rewriting things.☆23Updated 5 years ago
 - Effectful Raw handler for Servant servers.☆16Updated 4 years ago
 - Manage Nix Haskell override sets☆11Updated 7 years ago
 - Core modules for a blazing fast markup combinator library☆22Updated 5 months ago
 - A Haskell prelude optimized for safety☆18Updated 8 years ago
 - Tasty meal of Dhall☆67Updated 2 years ago
 - Content Addressable Storage Archive☆41Updated last month
 - Haskell data types and functions for countries☆27Updated 7 months ago
 - Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated last week
 - Override instances used by Haskell's generic derivation☆31Updated 3 years ago
 - A terminal UI for discourse☆13Updated 5 years ago
 - 🎭 Actor library for Haskell☆30Updated 2 years ago
 - 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago