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
• qfpl / hpython
  Haskell language tools for Python
  ☆162Updated 5 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆159Updated 5 months ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 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 / succinct
  playground for working with succinct data structures
  ☆97Updated 10 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆177Updated last year
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 9 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆143Updated 10 months ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆104Updated 4 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆149Updated 9 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 7 months ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆89Updated 8 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago