tbarnetlamb / hyphenLinks
hyphen - access Haskell modules from Python
☆100Updated 11 months ago
Alternatives and similar repositories for hyphen
Users that are interested in hyphen are comparing it to the libraries listed below
Sorting:
- Haskell bindings for Python☆102Updated 4 years ago
- Language Server for Idris2☆176Updated 3 months ago
- Total Parser Combinators in Agda☆128Updated 2 years ago
- A Python backend for PureScript.☆122Updated 3 years ago
- Haskell language tools for Python☆160Updated 5 years ago
- Literate Haskell support for Markdown☆140Updated 2 months ago
- Visualize live Haskell data structures in GHCi☆137Updated last year
- The Happy parser generator for Haskell☆302Updated 3 weeks ago
- ☆119Updated 3 months ago
- Compiling Agda code to readable Haskell☆189Updated this week
- 🏝 Bidirectional TOML serialization☆128Updated 3 weeks ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- ☆88Updated 3 years ago
- ☆28Updated 4 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆129Updated last year
- A re-implementation of weeder using HIE files☆176Updated 3 months ago
- A continuation-based backtracking logic programming monad☆90Updated 6 months ago
- ☆101Updated 2 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆188Updated this week
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆81Updated 4 months ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆121Updated this week
- GRIN backend for GHC☆144Updated 3 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 6 months ago
- A purely functional programming language with first class types☆60Updated 2 months ago
- agda-mode on VS Code☆177Updated 3 weeks ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 11 months ago
- Standard library for linear types in Haskell.☆343Updated last week
- A modern, extensible and well-documented prettyprinter.☆302Updated 7 months ago
- Stream editing with Haskell Megaparsec parsers☆79Updated last year