bjpop / language-python

Related projects ⓘ

Alternatives and complementary repositories for language-python

• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• simonmar / monad-par
  ☆124Updated 11 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆157Updated 4 years ago
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆298Updated 4 months ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆192Updated 9 years ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆209Updated 5 years ago
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆75Updated last month
• msgpack / msgpack-haskell
  Haskell implementation of MessagePack / msgpack.org[Haskell]
  ☆138Updated last year
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• sdiehl / papers
  ☆95Updated 9 years ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆193Updated last year
• FranklinChen / twenty-four-days2015-of-hackage
  My own little "24 Days of Hackage" for 2015
  ☆62Updated 7 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆314Updated 6 years ago
• gregorycollins / hashtables
  Mutable hash tables for Haskell, in the ST monad
  ☆125Updated this week
• haskell-unordered-containers / unordered-containers
  Efficient hashing-based container types
  ☆221Updated 6 months ago
• RefactoringTools / HaRe
  The Haskell Refactoring Tool
  ☆139Updated 7 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 / fgl
  A Functional Graph Library for Haskell
  ☆184Updated last month
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 3 years ago
• sol / doctest
  An implementation of Python's doctest for Haskell
  ☆373Updated last month
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆134Updated last year
• stevenfontanella / microlens
  A lightweight (but compatible with ‘lens’) lenses library
  ☆285Updated 7 months ago
• Gabriella439 / pipes
  Compositional pipelines
  ☆489Updated 2 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆99Updated 11 months ago
• tdammers / ginger
  A Haskell implementation of the Jinja template language.
  ☆77Updated 2 weeks ago
• aelve / guide
  A workspace for research teams
  ☆106Updated 4 years ago
• haskell / pretty
  Haskell Pretty-printer library
  ☆69Updated last year