jkff / splot
Visualizing the activity of many concurrent processes
☆58Updated 4 years ago
Related projects: ⓘ
- Analyst's swiss army knife for visualizing data from ad-hoc log files☆79Updated 4 years ago
- HN Compiler☆62Updated 5 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- ☆28Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated last year
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Haskell IRC daemon.☆141Updated 7 years ago
- A constant-memory approximation of set membership☆24Updated 2 months ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Real-time collaborative editing with Operational Transformation☆40Updated 2 months ago
- Non-blocking concurrent hashmap for Haskell☆17Updated 6 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 12 years ago
- ☆18Updated this week
- This repository has been moved to https://gitlab.com/twittner/zeromq-haskell☆139Updated 8 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- A concurrency framework for the Ivory language☆43Updated 4 years ago
- Try Idris☆36Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Abandonware☆90Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 7 years ago
- Haskell helpers for deploying to Heroku☆18Updated 9 years ago
- A Smarter QuickCheck☆102Updated 7 years ago
- Support for static values☆22Updated 2 weeks ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 3 years ago