spacekitteh / haskell-cliffordView external linksLinks
Clifford algebra for Haskell! :D
☆14Jul 1, 2014Updated 11 years ago
Alternatives and similar repositories for haskell-clifford
Users that are interested in haskell-clifford are comparing it to the libraries listed below
Sorting:
- ☆17Jun 29, 2020Updated 5 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- ☆24Jun 2, 2015Updated 10 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Braid representations in Haskell☆21Jan 20, 2024Updated 2 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Apr 1, 2023Updated 2 years ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 2 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated last year
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- ☆12May 9, 2015Updated 10 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated 11 months ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated 11 months ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Manage CloudFormation Stacks through specifications☆13Dec 15, 2025Updated last month
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- ☆11Nov 2, 2021Updated 4 years ago
- A collection of techniques used in Haskell that are worth remembering.☆17Aug 30, 2010Updated 15 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Sep 8, 2025Updated 5 months ago
- Summer school on programming in Agda☆68Aug 1, 2023Updated 2 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- Make a map of all georeferenced maps on routegadget☆14Aug 4, 2021Updated 4 years ago
- A MIDI message routing tool written in Haskell. This program was written to benchmark the performance of MIDI message handling in Euterpe…☆15Feb 15, 2021Updated 4 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Quake 3 map viewer in Haskell using GPipe☆31Sep 25, 2017Updated 8 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 10 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- ☆14Nov 6, 2017Updated 8 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Aug 30, 2015Updated 10 years ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆16Sep 19, 2018Updated 7 years ago