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 10 months ago
- HN Compiler☆61Updated 5 months ago
- A very fast lightweight distributed logger with a high-precision global time axis☆38Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- an example airship app☆14Updated 9 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆50Updated 5 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Non-blocking concurrent hashmap for Haskell☆18Updated 8 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Updated 5 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Visual Basic for Applications (VBA) backend for Idris☆25Updated 8 years ago
- Real-time collaborative editing with Operational Transformation☆40Updated last year
- A concurrency framework for the Ivory language☆45Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- An Ivory library inspired by Atom☆14Updated 9 years ago
- An implementation of Functional Reactive Programming☆41Updated 10 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Try Idris☆35Updated 10 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 13 years ago