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.☆48Updated 2 years ago
- A fast Haskell Bloom filter library.☆60Updated 3 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 10 months ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆92Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 weeks ago
- Cloud Haskell - Asynchronous Execution☆18Updated last year
- A type-checker for Haskell with integer constraints☆42Updated 10 years ago
- Invertible parsing for S-expressions☆34Updated this week
- Haskell distributed parallel Haskell☆37Updated 8 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated 2 years ago
- Probabilistic computation in Idris☆33Updated 6 years ago
- xmonad in Coq☆46Updated 13 years ago
- Parser and type analysis for the Go programming language☆12Updated 2 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Updated 5 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 8 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- Hackage search engine☆56Updated 7 years ago
- ☆93Updated 9 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 10 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆17Updated last year
- The Haskell Refactoring Tool☆138Updated 6 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Flexible session middleware for WAI☆15Updated 5 years ago
- Generic Network.Transport API☆41Updated last year