augustss / orthotope
☆25Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for orthotope
- Automatic type class law checking.☆24Updated 11 months ago
- Overloaded plugin☆31Updated 4 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- Reimplementation of a subset of Cabal☆23Updated last month
- Automation for releasing haskell packages☆18Updated last year
- Composable Concurrent Computation Done Right☆30Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 4 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated this week
- ☆33Updated last month
- Staged Streams and other stuff☆18Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 4 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 4 months ago
- Order theory☆23Updated last year
- Existential type.☆36Updated 5 months ago
- Boring and Absurd types☆17Updated 5 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- Memory-efficient representation of Unicode text strings☆22Updated 4 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Non-empty Vectors☆24Updated 5 months ago
- Types for ldtk☆14Updated 6 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 3 weeks ago
- A library to profile time in a Haskell program☆17Updated 5 months ago
- Haskell project statistics and definition analysis☆15Updated last year
- ☆20Updated last year
- Surgery for generic data types☆24Updated 3 years ago
- Parse bytes fast☆24Updated 6 months ago
- higher-kinded data☆30Updated last year