keera-studios / haskell-titanLinks
Testing Infrastructure for Temporal AbstractioNs
☆23Updated 5 years ago
Alternatives and similar repositories for haskell-titan
Users that are interested in haskell-titan are comparing it to the libraries listed below
Sorting:
- Safe web routing in haskell☆30Updated 2 years ago
- Extensible type-safe unions for Haskell☆34Updated 8 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Minimal binary serialization library with focus on performance☆25Updated 4 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 4 months ago
- Parse bytes fast☆25Updated last week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 4 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 months ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Overloaded plugin☆31Updated last year
- Map and Set over contiguous memory☆22Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated 7 months ago
- Combinators for manipulating dependently-typed predicates.☆14Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 3 months ago
- ☆33Updated last month
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- ☆35Updated last year
- Simple reflection of expressions☆34Updated 4 years ago
- reverse dependency build matrix generator☆33Updated 5 years ago
- Hackager tool for releasing Haskell packages to Hackage☆32Updated 2 months ago
- Script to download all of Hackage☆15Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 10 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 9 months ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated last week
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- A monadic DSL for simple configuration parsing☆27Updated 5 months ago
- GHC prof manipulation script☆32Updated last year
- A collection of Edward Kmett's packages in a single repository☆16Updated 4 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated last month