tbarnetlamb / hyphenLinks
hyphen - access Haskell modules from Python
☆110Updated 5 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☆162Updated 5 years ago
- 🏝 Bidirectional TOML serialization☆131Updated last week
- The Haskell LaTeX library.☆199Updated 2 years ago
- Visualize live Haskell data structures in GHCi☆141Updated last year
- A Python backend for PureScript.☆124Updated 4 years ago
- Total Parser Combinators in Agda☆132Updated 4 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆193Updated 6 months ago
- A re-implementation of weeder using HIE files☆183Updated 4 months ago
- A continuation-based backtracking logic programming monad☆93Updated last year
- A modern, extensible and well-documented prettyprinter.☆304Updated last week
- Standard library for linear types in Haskell.☆351Updated this week
- Inspection Testing for Haskell☆189Updated 2 months ago
- Fast parsing from bytestrings☆173Updated 2 months ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Create Vega-Lite visualizations from Haskell.☆57Updated 9 months ago
- ☆29Updated 11 months ago
- Source material for Algebra-Driven Design☆156Updated 2 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆138Updated last week
- Literate Haskell support for Markdown☆148Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆137Updated 2 years ago
- Compiling Agda code to readable Haskell☆196Updated 3 weeks ago
- A Haskell blog☆151Updated 2 months ago
- Hey! Hey! Can u rel8?☆159Updated 2 weeks ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Haskell bindings for Python☆104Updated 4 years ago
- ☆87Updated 4 years ago
- Language Server for Idris2☆183Updated 3 months ago
- Named parameters (keyword arguments) for Haskell☆98Updated 9 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆84Updated 9 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆105Updated 2 years ago