bjpop / language-pythonLinks
A parser for Python 2.x and 3.x written in Haskell
☆159Updated 5 months ago
Alternatives and similar repositories for language-python
Users that are interested in language-python are comparing it to the libraries listed below
Sorting:
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 8 years ago
- Haskell language tools for Python☆162Updated 5 years ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆302Updated 8 months ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated 2 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Updated 6 years ago
- A Functional Graph Library for Haskell☆196Updated 3 months ago
- Mutable hash tables for Haskell, in the ST monad☆132Updated 2 months ago
- ☆95Updated 10 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Updated 10 years ago
- A tutorial on Parallel and Concurrent Haskell☆220Updated 12 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 7 years ago
- A Haskell implementation of the Jinja template language.☆79Updated 5 months ago
- Parser combinators for Idris☆244Updated 6 years ago
- Let GHC prove program equations for you☆146Updated 7 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆201Updated 2 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆104Updated last year
- Haskell library for debugging☆122Updated 6 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- Efficient hashing-based container types☆224Updated last week
- ☆126Updated last year
- Haskell XML Toolbox☆125Updated last year
- The Haskell Refactoring Tool☆138Updated 8 years ago
- The Haskell Refactoring Tool☆138Updated 5 years ago
- Haskell Pretty-printer library☆75Updated 3 months ago
- Tutorial for LiquidHaskell☆80Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- LTS Haskell build plans☆162Updated last week
- Type classes for mapping, folding, and traversing monomorphic containers☆159Updated 7 months ago
- Visualize live Haskell data structures in GHCi☆141Updated last year