nomeata / free-theorems-static-webuiLinks
A browser-only web interface to the free-theorems library
☆11Updated last month
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
Sorting:
- United Monoids☆24Updated 2 years ago
- keyed functors☆22Updated 4 months ago
- Performance shootout of various trie implementations☆18Updated 6 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 4 months ago
- Applicative lexer☆13Updated 5 years ago
- Map and Set over contiguous memory☆21Updated last year
- [Talk] Framing the Discussion with EDSLs☆9Updated 10 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 4 months ago
- freer monads and cofreer comonads.☆21Updated 7 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- A faster date and time library based on time☆47Updated 6 months ago
- Experimental implementation of generic record subtyping☆18Updated last year
- Generic types and functions for encoding and decoding columns☆44Updated 8 months ago
- Fast ByteString Builder☆21Updated 4 months ago
- Prism-based parsers and pretty printers☆17Updated 7 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Refactoring tool for .cabal files☆8Updated 8 years ago
- Extensible sums and products for Haskell☆19Updated 2 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Updated 9 months ago
- the 'invariant' Haskell package for invariant functors☆16Updated 4 months ago
- high-level stream sockets in haskell☆17Updated 3 weeks ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Updated 6 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Content for the stackage.org site☆10Updated this week
- Efficient non-empty variants of containers data types, with full API☆26Updated 2 months ago
- A library for generic programming that aims to be easy to understand☆26Updated 4 months ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆19Updated 3 years ago
- Haskell priority queue package☆17Updated 3 months ago
- Email address validation for Haskell☆43Updated 9 months ago