Alternatives and similar repositories for language-python:

Users that are interested in language-python are comparing it to the libraries listed below

• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• simonmar / monad-par
  ☆125Updated last year
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆298Updated 7 months ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆197Updated last year
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆75Updated 4 months ago
• FranklinChen / twenty-four-days2015-of-hackage
  My own little "24 Days of Hackage" for 2015
  ☆62Updated 8 years ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆207Updated 6 years ago
• gregorycollins / hashtables
  Mutable hash tables for Haskell, in the ST monad
  ☆128Updated 3 weeks ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆193Updated 9 years ago
• qfpl / hpython
  Haskell language tools for Python
  ☆158Updated 4 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆163Updated 3 years ago
• haskell-tools / haskell-tools
  Developer tools for Haskell
  ☆250Updated 7 months ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆136Updated 10 months ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• snoyberg / mono-traversable
  Type classes for mapping, folding, and traversing monomorphic containers
  ☆156Updated last month
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆315Updated 7 years ago
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 5 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• ziman / lightyear
  Parser combinators for Idris
  ☆240Updated 5 years ago
• haskell / c2hs
  c2hs is a pre-processor for Haskell FFI bindings to C libraries
  ☆201Updated 11 months ago
• sol / doctest
  An implementation of Python's doctest for Haskell
  ☆381Updated this week
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆108Updated 7 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 9 years ago
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆132Updated 7 years ago
• haskell-hint / hint
  Runtime Haskell interpreter
  ☆267Updated last month
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 7 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago