bjpop / language-python
A parser for Python 2.x and 3.x written in Haskell
☆158Updated 9 months ago
Alternatives and similar repositories for language-python:
Users that are interested in language-python are comparing it to the libraries listed below
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- ☆125Updated last year
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆197Updated last year
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated 2 years ago
- Haskell language tools for Python☆158Updated 5 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Updated 6 years ago
- GHC plugin that improves Haskell code's numerical stability☆193Updated 9 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- ☆96Updated 10 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- Binary serialisation in the CBOR format☆196Updated last week
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Dive into GHC☆82Updated 8 years ago
- xmonad with the X11 abstracted and configured with Idris☆207Updated 5 years ago
- Haskell XML Toolbox☆124Updated 8 months ago
- A Functional Graph Library for Haskell☆188Updated 5 months ago
- Tutorial for LiquidHaskell☆75Updated 5 months ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- Mutable hash tables for Haskell, in the ST monad☆129Updated 2 months ago
- The Haskell Refactoring Tool☆138Updated 7 years ago
- A language based on homotopy type theory with an interval☆85Updated 9 years ago
- Efficient hashing-based container types☆221Updated 10 months ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- A workspace for research teams☆105Updated 5 years ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆299Updated 3 weeks ago
- Compositional pipelines☆492Updated 2 years ago
- A tutorial on Parallel and Concurrent Haskell☆219Updated 12 years ago