Haskell language tools for Python
☆163Mar 23, 2020Updated 5 years ago
Alternatives and similar repositories for hpython
Users that are interested in hpython are comparing it to the libraries listed below
Sorting:
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 6 years ago
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- A language experiment -- irc.freenode.net ##coda☆163Apr 10, 2024Updated last year
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- Haskell: Supercharged anonymous records☆83Nov 12, 2022Updated 3 years ago
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 5 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Nov 20, 2023Updated 2 years ago
- Comma (and other) separated values☆78Nov 4, 2023Updated 2 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Detect dead exports or package imports☆125Jun 11, 2020Updated 5 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- Compiling to Categories☆458Feb 28, 2024Updated 2 years ago
- Haskell QuasiQuoter for String Formatting☆70Dec 29, 2025Updated 2 months ago
- Generically derive traversals, lenses, and prisms.☆441Aug 27, 2025Updated 6 months ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Typed frontend to TensorFlow and higher-order deep learning☆156Jul 1, 2022Updated 3 years ago
- Haskell Configuration Loader☆19Feb 3, 2026Updated last month
- type level sets☆67Nov 19, 2019Updated 6 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- Test monadic programs using state machine based models☆204May 11, 2021Updated 4 years ago
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Oct 20, 2021Updated 4 years ago
- Generic Programming using True Sums of Products☆162Jan 7, 2026Updated last month
- 💝 Haskell profiles to sponsor☆48Oct 28, 2021Updated 4 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 9 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Fake dependent types in Haskell using singletons☆293Feb 15, 2026Updated 2 weeks ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 6 years ago
- Horn Clause Constraint Solving for Liquid Types☆159Feb 25, 2026Updated last week