deech / fltkhs-themes
☆13Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for fltkhs-themes
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- Stream editing with Haskell Attoparsec parsers☆14Updated last year
- Safe web routing in haskell☆30Updated last year
- Connecting vinyl records to the wider ecosystem through Generics☆12Updated 5 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- Core modules for a blazing fast markup combinator library☆22Updated 4 months ago
- Invertible parsing for S-expressions☆33Updated last month
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Simple reflection of expressions☆33Updated 3 years ago
- High-performance JSON parser☆24Updated 6 months ago
- LibSSH2 FFI bindings for Haskell☆26Updated 5 months ago
- Haskell program configuration using higher kinded data☆29Updated 5 months ago
- Batteries-included structured logging library☆29Updated 2 months ago
- ☆10Updated 10 months ago
- Quickcheck Properties for common typeclasses☆34Updated 6 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆20Updated 8 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 5 months ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 3 years ago
- GitHub Action to build, test, and lint Stack-based Haskell projects☆20Updated this week
- Fast, hash-based, immutable collections.☆24Updated 8 months ago
- Perform GPIO from Haskell☆21Updated 5 years ago
- Haskell data types and functions for countries☆26Updated 4 months ago
- Spawn threads that never die (unless told to do so)☆37Updated 6 years ago
- Structured logging solution.☆35Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 3 years ago