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
- Haskell language tools for Python☆162Updated 5 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 2 months ago
- The Art of the Propagator. See also:☆174Updated last year
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- Haskell bindings for Python☆103Updated 4 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Lean Tutorials☆45Updated 4 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Convert lambda expressions to CCC combinators☆149Updated 9 years ago
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Numerical is the core library for Numerical Haskell☆138Updated last year
- High performance, regular, shape polymorphic parallel arrays.☆142Updated 7 months ago
- Charity language interpreters and literature☆114Updated 6 years ago
- The LVish Haskell library☆80Updated 2 years ago
- constructive abstract algebra☆104Updated 5 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆152Updated 11 months ago
- Equational laws for free☆259Updated 3 months ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆162Updated 6 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Link to preprints for ICFP'16 and co-located events☆140Updated 8 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 7 years ago