tbarnetlamb / hyphen
hyphen - access Haskell modules from Python
☆98Updated 10 months ago
Alternatives and similar repositories for hyphen
Users that are interested in hyphen are comparing it to the libraries listed below
Sorting:
- Haskell language tools for Python☆160Updated 5 years ago
- Haskell bindings for Python☆102Updated 4 years ago
- Visualize live Haskell data structures in GHCi☆136Updated last year
- 🏝 Bidirectional TOML serialization☆127Updated last week
- A modern, extensible and well-documented prettyprinter.☆302Updated 6 months ago
- Hey! Hey! Can u rel8?☆158Updated this week
- A continuation-based backtracking logic programming monad☆89Updated 6 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆188Updated 10 months ago
- A re-implementation of weeder using HIE files☆176Updated 2 months ago
- Total Parser Combinators in Agda☆126Updated 2 years ago
- Best practices on how to be efficient with Haskell in production☆97Updated 10 months ago
- Refinement types with static checking☆186Updated 4 months ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Optics as an abstract interface☆384Updated 3 weeks ago
- Standard library for linear types in Haskell.☆343Updated last month
- VSCode extension for Haskell☆110Updated 3 months ago
- ☆28Updated 3 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 11 months ago
- Literate Haskell support for Markdown☆140Updated last month
- A tool suite to aid Haskell development using `cabal-install`☆86Updated 5 months ago
- Language Server for Idris2☆176Updated 3 months ago
- Floskell is a flexible Haskell source code pretty printer.☆182Updated 10 months ago
- ☆100Updated 2 months ago
- Mid-level bindings for sqlite☆138Updated 2 months ago
- A Python backend for PureScript.☆123Updated 3 years ago
- A file watcher and development tool.☆130Updated 6 months ago
- Fake dependent types in Haskell using singletons☆290Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- A preprocessor for a Haskell record syntax using dot☆129Updated last year