dpiponi / Monad-PythonLinks
A toy Python interpreter with monad comprehensions
☆54Updated last year
Alternatives and similar repositories for Monad-Python
Users that are interested in Monad-Python are comparing it to the libraries listed below
Sorting:
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Generic random generators☆81Updated 2 years ago
- Haskell language tools for Python☆160Updated 5 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 3 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 3 months ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Examples for the Accelerate language☆69Updated 4 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 11 months ago
- A multi-method simulation library☆80Updated 11 months ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- ☆125Updated last year
- Tutorial for LiquidHaskell☆78Updated 8 months ago
- High performance, regular, shape polymorphic parallel arrays.☆141Updated 4 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Jupyter notebooks☆58Updated 6 months ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- Graph database in Haskell☆24Updated 8 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆43Updated 5 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- ☆88Updated 7 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago