softmechanics / missingpyLinks
Support for calling Python from Haskell
☆18Updated 13 years ago
Alternatives and similar repositories for missingpy
Users that are interested in missingpy are comparing it to the libraries listed below
Sorting:
- Fast base64 encoding and decoding for Haskell.☆45Updated last year
- System POSIX bindings for Idris.☆36Updated 6 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 4 months ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆139Updated 2 years ago
- A Haskell text formatting library optimized for ease of use and high performance.☆32Updated 2 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- Haskell distributed parallel Haskell☆37Updated 7 years ago
- ncurses binding for Haskell☆62Updated 2 months ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆94Updated last year
- An enhanced core prelude, meant for building up more complete preludes on top of.☆50Updated 7 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated 4 months ago
- Open records for Haskell☆22Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 2 months ago
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆16Updated 6 months ago
- An extension to Data.Serialize with built-in version control☆59Updated 4 months ago
- Improved Haskell support for Flycheck☆67Updated 8 months ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- Haskell 98 semigroups☆62Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- ☆40Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 3 months ago
- The Alms Programming Language☆44Updated 6 years ago
- A natural transformation package☆16Updated 4 months ago