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
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 2 months ago
- Haskell language tools for Python☆162Updated 5 years ago
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Convert lambda expressions to CCC combinators☆148Updated 9 years ago
- High performance, regular, shape polymorphic parallel arrays.☆142Updated 6 months ago
- The Art of the Propagator. See also:☆174Updated last year
- A multi-method simulation library☆82Updated last year
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆162Updated 6 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 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
- Equational laws for free☆259Updated 3 months ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Implementation of Univalence in Cubical Sets☆147Updated 10 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- Haskell bindings for Python☆103Updated 4 years ago
- Types for Python☆87Updated 6 years ago
- A Functional Graph Library for Haskell☆193Updated 10 months ago
- Presentation/code from my talk at London HUG☆57Updated 12 years ago
- Symbolic financial contract EDSL☆39Updated 4 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago