nomeata / free-theorems-static-webui
A browser-only web interface to the free-theorems library
☆11Updated 2 years ago
Alternatives and similar repositories for free-theorems-static-webui:
Users that are interested in free-theorems-static-webui are comparing it to the libraries listed below
- keyed functors☆22Updated last month
- The greatest hits of https://gist.github.com/RyanGlScott☆11Updated 2 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Extensible sums and products for Haskell☆19Updated last year
- Simplify and render Template Haskell☆18Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated last month
- United Monoids☆24Updated 2 years ago
- Content for the stackage.org site☆10Updated this week
- Applicative lexer☆13Updated 5 years ago
- Extensible type-safe unions for Haskell☆33Updated last month
- Backports of GHC deriving extensions☆13Updated last month
- Fast ByteString Builder☆21Updated last month
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated last month
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 8 months ago
- Library and tool for parsing .eventlog files from GHC☆33Updated last month
- Derive KnownNat constraints from other KnownNat constraints☆14Updated last month
- Stream editing with Haskell Attoparsec parsers☆14Updated last year
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Updated 8 months ago
- Fork threads and wait for their result☆27Updated last year
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 8 months ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- freer monads and cofreer comonads.☆21Updated 6 years ago
- Haskell geometry library☆17Updated 5 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Free categories, free arrows and free categories with monadic actions☆24Updated last month
- being a thing I build on a Saturday☆28Updated 7 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Use tests to monitor changes in Aeson serialization☆18Updated 8 months ago