jkff / splotLinks
Visualizing the activity of many concurrent processes
☆59Updated 5 years ago
Alternatives and similar repositories for splot
Users that are interested in splot are comparing it to the libraries listed below
Sorting:
- Analyst's swiss army knife for visualizing data from ad-hoc log files☆81Updated 8 months ago
- Non-blocking concurrent hashmap for Haskell☆18Updated 8 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A very fast lightweight distributed logger with a high-precision global time axis☆38Updated 10 years ago
- HN Compiler☆61Updated 3 months ago
- an example airship app☆14Updated 9 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- An Ivory library inspired by Atom☆14Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Real-time collaborative editing with Operational Transformation☆40Updated last year
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 9 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Visual Basic for Applications (VBA) backend for Idris☆24Updated 8 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- Abstactions and concrete implementations of mutable containers☆13Updated 9 years ago
- An efficient, lazy suffix tree implementation☆13Updated 4 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- FIX (co)parser in haskell☆52Updated 12 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- A program for evaluating a Haskell expression step-by-step☆50Updated 9 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- ☆28Updated 10 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- A concurrency framework for the Ivory language☆45Updated 6 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago