bjpop / language-pythonLinks
A parser for Python 2.x and 3.x written in Haskell
☆159Updated last month
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).☆124Updated 7 years ago
- Haskell language tools for Python☆160Updated 5 years ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆301Updated 4 months ago
- Mutable hash tables for Haskell, in the ST monad☆129Updated 2 weeks ago
- GHC plugin that improves Haskell code's numerical stability☆194Updated 9 years ago
- ☆125Updated last year
- A Haskell implementation of the Jinja template language.☆78Updated last month
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆202Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Tutorial for LiquidHaskell☆78Updated 9 months ago
- Haskell Language Report☆91Updated 5 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Updated 6 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆139Updated 2 years ago
- LTS Haskell build plans☆161Updated last week
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- Visualize live Haskell data structures in GHCi☆137Updated last year
- Diagrams standard library☆140Updated 3 weeks ago
- The Haskell Refactoring Tool☆138Updated 8 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A workspace for research teams☆104Updated 5 years ago
- Efficient hashing-based container types☆222Updated 2 months ago
- ☆96Updated 10 years ago
- A Functional Graph Library for Haskell☆189Updated 9 months ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆94Updated last year
- A tutorial on Parallel and Concurrent Haskell☆219Updated 12 years ago
- Dive into GHC☆82Updated 8 years ago
- Efficient library for manipulating zip archives☆84Updated last month