tbarnetlamb / hyphenLinks
hyphen - access Haskell modules from Python
☆108Updated last month
Alternatives and similar repositories for hyphen
Users that are interested in hyphen are comparing it to the libraries listed below
Sorting:
- Total Parser Combinators in Agda☆132Updated 3 weeks ago
- Haskell language tools for Python☆162Updated 5 years ago
- Literate Haskell support for Markdown☆146Updated 5 months ago
- Inspection Testing for Haskell☆185Updated 2 months ago
- ☆57Updated 2 months ago
- A Python backend for PureScript.☆124Updated 3 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Language Server for Idris2☆181Updated last week
- 🏝 Bidirectional TOML serialization☆129Updated 3 weeks ago
- ☆29Updated 7 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆191Updated 2 months ago
- Haskell Functional Reactive Programming framework with type-level clocks☆133Updated last week
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆83Updated 2 weeks ago
- A continuation-based backtracking logic programming monad☆91Updated 9 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆132Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A re-implementation of weeder using HIE files☆178Updated last month
- Compiling Agda code to readable Haskell☆190Updated last month
- Haskell QuasiQuoter for String Formatting☆69Updated 7 months ago
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 9 months ago
- A Haskell blog☆148Updated last month
- Fast parsing from bytestrings☆166Updated this week
- Visualize live Haskell data structures in GHCi☆139Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- Fast and concise extensible effects☆109Updated 2 years ago
- Effects libraries in Haskell☆71Updated 2 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- haskell source code visualizer☆99Updated 4 months ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- ☆88Updated 3 years ago