Coordinate-free hypersurfaces as Haskell types
☆42Apr 5, 2025Updated last year
Alternatives and similar repositories for manifolds
Users that are interested in manifolds are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- Units of measure as a GHC typechecker plugin☆34Jun 8, 2026Updated 3 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Feb 25, 2017Updated 9 years ago
- Purely-functional, coordinate-free linear algebra☆34Jun 1, 2025Updated last year
- A little book on General Relativity and Einstein–Cartan Theory☆15Mar 13, 2014Updated 12 years ago
- fast unique variables☆10Aug 23, 2025Updated last year
- Use JuicyPixels datatypes in Servant Requests/Responses directly☆19Oct 7, 2023Updated 2 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 9 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35May 14, 2017Updated 9 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- 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.
- Painless general-purpose sampling.☆24Nov 9, 2024Updated last year
- ☆16Mar 22, 2025Updated last year
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- What's the simplest Turing Machine with unknown behavior?☆13Jun 18, 2016Updated 10 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- ☆26May 9, 2016Updated 10 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆27Aug 1, 2026Updated last month
- A topological data analysis library for Haskell☆29Mar 16, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Oct 4, 2020Updated 5 years ago
- Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function☆18Jun 24, 2024Updated 2 years ago
- Experiments with haskell neural networks☆11Jul 16, 2015Updated 11 years ago
- An embedded DSL for creating, composing, and using probability measures.☆43Sep 10, 2019Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Feb 17, 2018Updated 8 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆19Updated this week
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 9 years ago
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22May 18, 2023Updated 3 years ago
- Multidimensional arrays and simple tensor computations☆38Apr 8, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 6 years ago
- Combinators for drawing 2D shapes and images in Haskell (using OpenGL)☆32Feb 20, 2018Updated 8 years ago
- ☆16May 10, 2017Updated 9 years ago
- ☆28Jun 30, 2014Updated 12 years ago
- A Haskell client library for Cayley database graph☆14Aug 28, 2026Updated 3 weeks ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 9 years ago