nomeata / free-theorems-static-webui
A browser-only web interface to the free-theorems library
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for free-theorems-static-webui
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 5 months ago
- Backports of GHC deriving extensions☆14Updated 8 months ago
- the 'invariant' Haskell package for invariant functors☆15Updated 8 months ago
- keyed functors☆22Updated 4 months ago
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- Operation Vanguard: fixing a number of Haskell packages at once☆11Updated 5 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 3 years ago
- Fast ByteString Builder☆22Updated 2 months ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Updated 5 years ago
- Map and Set over contiguous memory☆21Updated last year
- United Monoids☆24Updated 2 years ago
- freer monads and cofreer comonads.☆21Updated 6 years ago
- Applicative lexer☆13Updated 4 years ago
- HTTP cookie parsing and rendering☆18Updated 8 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Example usage of the Haskell C FFI with hsc2hs☆11Updated 6 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆27Updated 2 months ago
- ☆20Updated last year
- Indexed Types☆13Updated 2 years ago
- haskell posix bindings☆18Updated 8 months ago
- Uniform interface to reified data type information via Template Haskell☆20Updated 8 months ago
- Safe web routing in haskell☆30Updated last year
- Directed Acyclic Graphs☆20Updated 5 months ago
- Extensible sums and products for Haskell☆19Updated last year
- Experimental implementation of generic record subtyping☆18Updated 6 months ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Updated last month
- Performance shootout of various trie implementations☆18Updated 5 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 6 years ago