diagrams / active
Time-varying values with start and end times.
☆16Updated 2 months ago
Alternatives and similar repositories for active:
Users that are interested in active are comparing it to the libraries listed below
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 weeks ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- ☆39Updated 7 years ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- Structured logging solution.☆35Updated 2 weeks ago
- GHC prof manipulation script☆32Updated last year
- Some useful control operators for looping☆48Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Fine-grained lattice primitives for Haskell☆36Updated last month
- multiset haskell package☆19Updated last year
- Zippers based on lenses and traversals☆38Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 10 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Fixed length vector for haskell☆21Updated 2 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Extensible type-safe unions for Haskell☆33Updated 2 weeks ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- ☆18Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago