nh2 / haskell-from-python
Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
☆58Updated 11 years ago
Related projects: ⓘ
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 6 years ago
- Probabilistic computation in Idris☆33Updated 5 years ago
- ☆57Updated this week
- Source for personal blog.☆77Updated last week
- An experimental native Haskell graph database☆59Updated 5 years ago
- A library of Natural Language Processing algorithms for Haskell.☆73Updated 7 months ago
- A fast, easy-to-use q-learning library for Haskell☆43Updated 8 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- A Monte Carlo monad and transformer for Haskell.☆40Updated 5 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- Examples of data analysis in Haskell☆19Updated 6 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 3 years ago
- Haskell plotting library☆44Updated 3 weeks ago
- Haskell bindings to the Graphviz toolkit☆64Updated last year
- Haskell implementations of various ML algorithms.☆56Updated 10 years ago
- playground for working with succinct data structures☆94Updated 8 years ago
- The missing tutorial module for the lens library☆81Updated 4 months ago
- A language based on homotopy type theory with an interval☆84Updated 9 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Dive into GHC☆82Updated 7 years ago
- Formalising Type Theory in a modular way for translations between type theories☆90Updated 6 years ago
- ☆35Updated 12 years ago
- Haskell bindings for PicoSAT solver☆16Updated 4 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 2 years ago
- A multi-method simulation library☆79Updated 2 months ago
- Brent's PhD thesis.☆63Updated 8 years ago