An Experiment in Haskell Symbolic Algebra
☆73May 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 7 months ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 10 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 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.
- An embedded DSL for creating, composing, and using probability measures.☆43Sep 10, 2019Updated 6 years ago
- Use network sockets together with the Haskell pipes library.☆25Apr 16, 2022Updated 4 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- Haskell bindings to SymEngine☆27Aug 17, 2023Updated 2 years ago
- Haskell distributed parallel Haskell☆37Aug 26, 2017Updated 8 years ago
- elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.☆15Mar 3, 2013Updated 13 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Dec 28, 2025Updated 7 months ago
- High level, generic library for interrogative user interfaces in Haskell☆43Jun 18, 2021Updated 5 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆128Nov 29, 2023Updated 2 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Sep 18, 2015Updated 10 years ago
- Time series database built on acid-state☆13Jan 17, 2015Updated 11 years ago
- Generic representation and manipulation of abstract syntax☆27Mar 21, 2026Updated 4 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Proof that Haskell can look and act like an imperative language.☆74Jun 7, 2012Updated 14 years ago
- A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop☆85Nov 8, 2014Updated 11 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Apr 13, 2014Updated 12 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.
- Real-time collaborative editing with Operational Transformation☆40Jul 20, 2024Updated 2 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- ☆67Jul 19, 2025Updated last year
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- Happy Haskell Hacking with Atom and ghc-mod☆29May 27, 2015Updated 11 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- haskell memory☆49Aug 14, 2023Updated 3 years ago
- Compositional pipelines☆19Aug 15, 2012Updated 14 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Universal and robust reloading for Haskell web applications☆70Feb 20, 2022Updated 4 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Aug 23, 2015Updated 10 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Jan 13, 2025Updated last year
- Model-view-controller☆64Sep 4, 2022Updated 3 years ago
- A Haskell native implementation of matrices and their operations.☆35Nov 18, 2023Updated 2 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 10 years ago