Coordinate-free hypersurfaces as Haskell types
☆42Apr 5, 2025Updated 11 months ago
Alternatives and similar repositories for manifolds
Users that are interested in manifolds are comparing it to the libraries listed below
Sorting:
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Feb 25, 2017Updated 9 years ago
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function☆17Jun 24, 2024Updated last year
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 8 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Purely-functional, coordinate-free linear algebra☆30Jun 1, 2025Updated 9 months ago
- Painless general-purpose sampling.☆24Nov 9, 2024Updated last year
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated 2 months ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Feb 17, 2018Updated 8 years ago
- ☆26May 9, 2016Updated 9 years ago
- ☆17Jul 23, 2022Updated 3 years ago
- Use JuicyPixels datatypes in Servant Requests/Responses directly☆19Oct 7, 2023Updated 2 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Apr 10, 2022Updated 3 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 8 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Feb 1, 2019Updated 7 years ago
- ☆17May 10, 2017Updated 8 years ago
- ☆19Jul 24, 2017Updated 8 years ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆25Aug 12, 2025Updated 6 months ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Oct 4, 2020Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago