category-theoretic goodness for Haskell
☆18Jun 23, 2010Updated 16 years ago
Alternatives and similar repositories for category-extras
Users that are interested in category-extras are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- categories from category-extras☆34Oct 9, 2019Updated 7 years ago
- pointed and copointed data☆24Mar 3, 2025Updated last year
- Deprecated in favor of...☆17Jul 24, 2011Updated 15 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆13Jul 6, 2020Updated 6 years ago
- keyed functors☆23Jan 10, 2026Updated 9 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.☆12Oct 13, 2013Updated 13 years ago
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- Stochastic gradient descent Haskell library☆13Jun 24, 2024Updated 2 years ago
- Haskell module for K-D trees☆29Dec 4, 2017Updated 8 years ago
- Send metrics to Ganglia, Graphite, and statsd☆17Jan 29, 2015Updated 11 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- the EitherT monad transformer☆60Sep 19, 2026Updated last month
- Simple, Incremental SAT Solving as a Haskell Library☆15Aug 31, 2016Updated 10 years ago
- ☆76Sep 21, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Dual Traversable☆42Jan 10, 2026Updated 9 months ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Dependently-typed finite maps (partial dependent products)☆66Oct 19, 2025Updated last year
- a monadic graph library☆39Mar 3, 2025Updated last year
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year
- Hal Daume's hbc☆20Jan 23, 2010Updated 16 years ago
- MPFR bindings for Haskell☆35Apr 17, 2026Updated 6 months ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Explicit Sharing of Monadic Effects☆13Jun 30, 2011Updated 15 years ago
- Haskell library for manipulating and evaluating polynomials☆20Feb 24, 2022Updated 4 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆61Aug 9, 2023Updated 3 years ago
- Some useful control operators for looping☆47Mar 16, 2020Updated 6 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Mar 7, 2013Updated 13 years ago
- Lens of Aeson☆13Feb 14, 2013Updated 13 years ago
- scraps and bits and bobs☆14Jul 28, 2022Updated 4 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- An Idris -> Objective-C demo☆10May 18, 2014Updated 12 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Compensated floating-point arithmetic☆13Oct 18, 2024Updated 2 years ago
- Categories parametrized by morphism equality, in Agda☆154Aug 9, 2019Updated 7 years ago
- Forward- and Reverse-Mode Automatic Differentiation for Scala☆21Apr 30, 2011Updated 15 years ago
- Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files☆35Jan 19, 2026Updated 9 months ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- Tools for programming with ConstraintKinds in GHC☆77Jan 26, 2026Updated 9 months ago
- Leibnizian type equality☆13Mar 12, 2023Updated 3 years ago