keera-studios / haskell-titan
Testing Infrastructure for Temporal AbstractioNs
☆22Updated 4 years ago
Related projects: ⓘ
- Combinators for manipulating dependently-typed predicates.☆12Updated 2 months ago
- Overloaded plugin☆31Updated 3 months ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Hackager tool for releasing Haskell packages to Hackage☆29Updated 3 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Parse bytes fast☆24Updated 4 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated last year
- Automatic type class law checking.☆24Updated 9 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Script to download all of Hackage☆14Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Extensible type-safe unions for Haskell☆31Updated last week
- Haskus packages☆24Updated last week
- Existential type.☆36Updated 4 months ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 weeks ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Functor-parametric containers☆18Updated 2 months ago
- Composable Concurrent Computation Done Right☆29Updated 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 3 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Reimplementation of a subset of Cabal☆20Updated last week
- Automation for releasing haskell packages☆18Updated last year
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- Classes for types where we know all the values☆37Updated 4 months ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago