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 10 years ago
- ☆13Jan 7, 2026Updated 6 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 6 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆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 7 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 2 years ago
- Compositional pipelines☆19Aug 15, 2012Updated 13 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.
- 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