ddfisher / HaPy
Haskell bindings for Python
☆102Updated 3 years ago
Alternatives and similar repositories for HaPy:
Users that are interested in HaPy are comparing it to the libraries listed below
- hyphen - access Haskell modules from Python☆95Updated 7 months ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 7 months ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Haskell language tools for Python☆157Updated 4 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- Examples of data analysis in Haskell☆19Updated 7 years ago
- Implementation of Univalence in Cubical Sets☆144Updated 9 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆183Updated 6 months ago
- Types for Python☆86Updated 6 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- A language based on homotopy type theory with an interval☆84Updated 9 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Diagrams standard library☆139Updated last month
- Clear to write, read and edit DSL for writing HTML☆289Updated this week
- Visualize live Haskell data structures in GHCi☆136Updated 9 months ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- A file watcher and development tool.☆129Updated 2 months ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆43Updated 5 years ago
- Haskell bindings for Python's Matplotlib☆85Updated 9 months ago
- Haskell plotting library☆44Updated 5 months ago
- Generate Haskell code from a type☆131Updated last year
- A Python backend for PureScript.☆122Updated 3 years ago
- Tutorial for LiquidHaskell☆75Updated 4 months ago
- A toy Python interpreter with monad comprehensions☆54Updated 7 months ago
- A Functional Graph Library for Haskell☆188Updated 4 months ago
- Data frames for tabular data.☆298Updated last year
- A multi-method simulation library☆79Updated 7 months ago
- A workspace for research teams☆105Updated 5 years ago