diagrams / active
Time-varying values with start and end times.
☆15Updated 3 months ago
Related projects: ⓘ
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- ☆39Updated 6 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- Church-encoding of the Freer monad☆29Updated 7 years ago
- ☆8Updated 3 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- ☆33Updated 7 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- ☆18Updated 8 months ago
- GHC prof manipulation script☆30Updated 7 months ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- The most complete prelude formed only from the "base" package☆28Updated 11 months ago
- An attoparsec roundtrip☆17Updated 4 years ago
- An experiment in functional interface design☆23Updated 7 years ago
- Demonstrating comonad transformers.☆36Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- An efficient graph library for Haskell☆39Updated last month
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- Extensible type-safe unions for Haskell☆31Updated last week
- Use hpack's phrasing in dhall to write cabal files☆31Updated last week
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Tools for defining and parsing configurations of Haskell applications☆23Updated 3 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆19Updated last month
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- ☆25Updated this week
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago