Alternatives and similar repositories for Monad-Python

Users that are interested in Monad-Python are comparing it to the libraries listed below

• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆125Updated 8 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆160Updated 6 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆162Updated 5 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 9 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆177Updated last year
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆163Updated 6 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆149Updated 9 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆193Updated 7 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆104Updated 4 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆198Updated 4 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• bobatkey / CS316-17
  The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
  ☆21Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆124Updated 3 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆143Updated 11 months ago