jkff / splot

Related projects: ⓘ

• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆79Updated 4 years ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 5 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• fpco / stackage-cli
  ☆28Updated 9 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• bos / snappy
  Fast Haskell bindings to Google's Snappy compression library
  ☆31Updated last year
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• chrisdone / hulk
  Haskell IRC daemon.
  ☆141Updated 7 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 2 months ago
• batterseapower / test-framework
  Framework for running and organising QuickCheck test properties and HUnit test cases
  ☆83Updated 6 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• Operational-Transformation / ot.hs
  Real-time collaborative editing with Operational Transformation
  ☆40Updated 2 months ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 6 years ago
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 12 years ago
• dmbarbour / haskell-lmdb
  ☆18Updated this week
• twittner / zeromq-haskell
  This repository has been moved to https://gitlab.com/twittner/zeromq-haskell
  ☆139Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆45Updated 6 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 4 years ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• zalora / upcast
  Abandonware
  ☆90Updated 8 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 7 years ago
• gregwebs / haskell-heroku
  Haskell helpers for deploying to Heroku
  ☆18Updated 9 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 7 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 weeks ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago