softmechanics / missingpy
Support for calling Python from Haskell
☆18Updated 12 years ago
Alternatives and similar repositories for missingpy:
Users that are interested in missingpy are comparing it to the libraries listed below
- Fast base64 encoding and decoding for Haskell.☆45Updated last year
- Haskell distributed parallel Haskell☆38Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 7 months ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Some useful control operators for looping☆47Updated 4 years ago
- An extension to Data.Serialize with built-in version control☆59Updated last month
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated last week
- phantom types☆38Updated last month
- The Haskell File System: A file system implementation in Haskell☆38Updated 9 years ago
- An enhanced core prelude, meant for building up more complete preludes on top of.☆49Updated 7 years ago
- A server interface to GHC.☆19Updated 10 years ago
- Extract the heap representation of Haskell values and thunks☆50Updated last year
- High level Cassandra bindings for Haskell☆45Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 7 months ago
- A lightweight Haskell binding to the C mysqlclient API☆37Updated last year
- Improved Haskell support for Flycheck☆67Updated last month
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 5 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Open records for Haskell☆22Updated 7 years ago
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆16Updated this week
- ☆39Updated 7 years ago
- Yes, really!☆11Updated 9 years ago
- Curses bindings package for Idris☆13Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago