softmechanics / missingpy

Related projects ⓘ

Alternatives and complementary repositories for missingpy

• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last month
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆45Updated last year
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆38Updated 7 years ago
• data61 / foldl-statistics
  An reimplementation of the Statistics.Sample Haskell module using the foldl package
  ☆21Updated 6 months ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• mainland / language-c-quote
  ☆58Updated 4 months ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• shachaf / ghc-core
  ☆39Updated 7 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆44Updated last year
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆49Updated 6 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆32Updated 9 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆47Updated 2 months ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• haskell-distributed / distributed-process-async
  Cloud Haskell - Asynchronous Execution
  ☆18Updated 2 months ago
• Gabriella439 / Haskell-MMorph-Library
  Monad morphisms
  ☆47Updated 2 years ago
• hasky-mode / hasky-extensions
  Toggle Haskell language extensions from Emacs
  ☆22Updated 4 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆18Updated 9 years ago
• nomeata / ghc-heap-view
  Extract the heap representation of Haskell values and thunks
  ☆50Updated 10 months ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 6 months ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• JakobBruenker / curses-idris
  Curses bindings package for Idris
  ☆13Updated 5 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 8 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago