Cayley-Dickson constructions
☆11Nov 30, 2015Updated 10 years ago
Alternatives and similar repositories for cayley-dickson
Users that are interested in cayley-dickson are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A generic, derivable, haskell pretty printer - Research project, summer of 2011☆10Nov 10, 2019Updated 6 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Indexed Types☆13Sep 4, 2022Updated 4 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Dec 31, 2015Updated 10 years ago
- Use QuasiQuotation with llvm-general☆12Jan 7, 2017Updated 9 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.
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- Boost.org flyweight module☆15Aug 12, 2026Updated 2 months ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 9 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- Toy example — How can GHC optimize monad transformers?☆11Nov 8, 2016Updated 9 years ago
- A principal solution to ghost threads and silent exceptions☆24Oct 17, 2023Updated 3 years ago
- Quasiquotation for Swift in Haskell☆10Jun 24, 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.
- ☆14Jul 21, 2024Updated 2 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆13Jul 6, 2020Updated 6 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 10 months ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated 9 months ago
- Compositional pipelines☆19Aug 15, 2012Updated 14 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.
- ☆13May 18, 2026Updated 5 months ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 4 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated last year
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 10 months ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 10 months ago
- ☆14Apr 17, 2022Updated 4 years ago
- Dump GHC's abstract syntax trees☆40Apr 17, 2022Updated 4 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 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.
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 6 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 11 years ago
- A simple type-safe query EDSL☆15Jan 9, 2019Updated 7 years ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 14 years ago
- Directed acyclic word graphs☆11Jul 22, 2013Updated 13 years ago
- Embed shell commands with interpolated Haskell variables, and capture output☆11Oct 10, 2011Updated 15 years ago