bjpop / language-python
A parser for Python 2.x and 3.x written in Haskell
☆158Updated 10 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
- Haskell language tools for Python☆160Updated 5 years ago
- Mutable hash tables for Haskell, in the ST monad☆129Updated 3 months ago
- ☆96Updated 10 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆197Updated last year
- GHC plugin that improves Haskell code's numerical stability☆193Updated 9 years ago
- Developer tools for Haskell☆250Updated 9 months ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆300Updated 2 months ago
- Dive into GHC☆82Updated 8 years ago
- A Haskell implementation of the Jinja template language.☆78Updated this week
- Type classes for mapping, folding, and traversing monomorphic containers☆157Updated last month
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Updated 6 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Binary serialisation in the CBOR format☆199Updated last week
- Haskell library for debugging☆122Updated 5 years ago
- Compositional pipelines☆492Updated 2 years ago
- A Functional Graph Library for Haskell☆188Updated 7 months ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆165Updated 4 months ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆108Updated 7 years ago
- A lightweight (but compatible with ‘lens’) lenses library☆292Updated 2 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- A workspace for research teams☆105Updated 5 years ago
- Fake dependent types in Haskell using singletons☆290Updated 3 weeks ago
- Efficient hashing-based container types☆221Updated 11 months ago