nomeata / free-theorems-static-webui
A browser-only web interface to the free-theorems library
☆10Updated 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
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 7 months ago
- keyed functors☆22Updated last month
- Applicative lexer☆13Updated 5 years ago
- Fast ByteString Builder☆21Updated 4 months ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Operation Vanguard: fixing a number of Haskell packages at once☆11Updated 5 years ago
- Indexed Types☆13Updated 2 years ago
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Backports of GHC deriving extensions☆13Updated last month
- Content for the stackage.org site☆10Updated last month
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- high-level stream sockets in haskell☆17Updated last year
- High-performance JSON parser☆26Updated 8 months ago
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- United Monoids☆24Updated 2 years ago
- Haskell program configuration using higher kinded data☆29Updated 7 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Extensible sums and products for Haskell☆19Updated last year
- haskell posix bindings☆18Updated 10 months ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Updated 6 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Experimental implementation of generic record subtyping☆18Updated 8 months ago
- Support for RSpec-style `subject` and one-liner it-blocks☆12Updated 2 years ago