Alternatives and similar repositories for splot

Users that are interested in splot are comparing it to the libraries listed below

• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆80Updated 3 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• nponeccop / HNC
  HN Compiler
  ☆61Updated 6 years ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆38Updated 10 years ago
• jacobstanley / idris-vba
  Visual Basic for Applications (VBA) backend for Idris
  ☆24Updated 8 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆25Updated 5 months ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 months ago
• sru-systems / protobuf-simple
  Protocol Buffers library for Haskell
  ☆22Updated 3 years ago
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 12 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• Operational-Transformation / ot.hs
  Real-time collaborative editing with Operational Transformation
  ☆40Updated 11 months ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• bos / suffixtree
  An efficient, lazy suffix tree implementation
  ☆13Updated 4 years ago
• bos / snappy
  Fast Haskell bindings to Google's Snappy compression library
  ☆31Updated 2 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 10 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 7 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• aaronlevin / free-http
  An HTTP Client in Haskell Based on Free Monads
  ☆10Updated 9 years ago
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 6 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago