An Experiment in Haskell Symbolic Algebra
☆74May 23, 2012Updated 14 years ago
Alternatives and similar repositories for HaskSymb
Users that are interested in HaskSymb are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell tool to automatically bump package versions transitively.☆26May 24, 2016Updated 10 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 11 years ago
- ☆13Jan 7, 2026Updated 9 months ago
- Extract the heap representation of Haskell values and thunks☆50Jan 6, 2024Updated 2 years ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.☆16Jul 30, 2017Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Aug 7, 2016Updated 10 years ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 4 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 10 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 14 years ago
- An embedded DSL for creating, composing, and using probability measures.☆43Sep 10, 2019Updated 7 years ago
- Haskell bindings to SymEngine☆26Aug 17, 2023Updated 3 years ago
- Use network sockets together with the Haskell pipes library.☆25Apr 16, 2022Updated 4 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 7 years 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.
- elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.☆15Mar 3, 2013Updated 13 years ago
- Haskell distributed parallel Haskell☆37Aug 26, 2017Updated 9 years ago
- Codo notation for programming with comonads in Haskell☆26Jan 24, 2021Updated 5 years ago
- A Haskell native implementation of matrices and their operations.☆35Nov 18, 2023Updated 2 years ago
- Universal and robust reloading for Haskell web applications☆69Feb 20, 2022Updated 4 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆61Aug 14, 2026Updated 2 months ago
- High level, generic library for interrogative user interfaces in Haskell☆43Jun 18, 2021Updated 5 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Jan 11, 2016Updated 10 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆127Nov 29, 2023Updated 2 years ago
- Agda-style equational reasoning in Haskell☆57Jan 18, 2026Updated 9 months ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆58Sep 18, 2015Updated 11 years ago
- Time series database built on acid-state☆13Jan 17, 2015Updated 11 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Proof that Haskell can look and act like an imperative language.☆74Jun 7, 2012Updated 14 years ago
- Real-time collaborative editing with Operational Transformation☆40Jul 20, 2024Updated 2 years ago
- Cayley-Dickson constructions☆11Nov 30, 2015Updated 10 years ago
- Generic representation and manipulation of abstract syntax☆27Mar 21, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop☆84Nov 8, 2014Updated 11 years ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 9 months ago
- ☆11Jan 11, 2019Updated 7 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Apr 13, 2014Updated 12 years ago
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago