jkff / timeplotLinks
Analyst's swiss army knife for visualizing data from ad-hoc log files
☆81Updated 8 months ago
Alternatives and similar repositories for timeplot
Users that are interested in timeplot are comparing it to the libraries listed below
Sorting:
- Visualizing the activity of many concurrent processes☆59Updated 5 years ago
- HN Compiler☆61Updated 3 months ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Haskell IRC daemon.☆141Updated 8 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- an example airship app☆14Updated 9 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- This repository has been moved to https://gitlab.com/twittner/zeromq-haskell☆137Updated 9 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- A bittorrent client written in Haskell☆234Updated 8 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- A dead simple networked key/value store☆115Updated 10 years ago
- QuickCheck extras.☆29Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- The haskell network stack☆118Updated 7 years ago
- A fluent Twilio IVR library for Haskell☆20Updated 10 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ☆28Updated 10 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- A program for evaluating a Haskell expression step-by-step☆50Updated 9 years ago
- A streaming query language.☆57Updated 5 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Updated 8 years ago
- A Smarter QuickCheck☆102Updated 8 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago