jkff / splotLinks
Visualizing the activity of many concurrent processes
☆59Updated 4 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☆80Updated 3 months ago
- A type theory based theorem proving library☆25Updated 13 years ago
- HN Compiler☆61Updated 6 years ago
- A very fast lightweight distributed logger with a high-precision global time axis☆38Updated 10 years ago
- Visual Basic for Applications (VBA) backend for Idris☆24Updated 8 years ago
- A constant-memory approximation of set membership☆25Updated 5 months ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Try Idris☆35Updated 9 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- Protocol Buffers library for Haskell☆22Updated 3 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 12 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Real-time collaborative editing with Operational Transformation☆40Updated 11 months ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- An efficient, lazy suffix tree implementation☆13Updated 4 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A Smarter QuickCheck☆102Updated 7 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- An HTTP Client in Haskell Based on Free Monads☆10Updated 9 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago