Smash products, Wedge products, and other Pointed stuff
☆35Jun 9, 2026Updated 2 months ago
Alternatives and similar repositories for smash
Users that are interested in smash are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Find your open-soulmate <💜>☆78Oct 18, 2021Updated 4 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 4 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 4 years ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 5 years ago
- The theory of groups☆83Sep 8, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- Order theory☆25Sep 7, 2023Updated 2 years ago
- A structural editor for JSON values☆77Oct 3, 2022Updated 3 years ago
- Require that callers propagate `HasCallStack` constraints☆21Dec 18, 2024Updated last year
- Tactic Metaprogramming in Haskell☆57Jul 7, 2019Updated 7 years ago
- A work stealing scheduler☆82Jan 14, 2025Updated last year
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 8 years ago
- Checks that Haskell files are linted with HLint.☆12Aug 28, 2022Updated 3 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 5 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆76Aug 6, 2026Updated last week
- Nat, Fin, Vec☆28May 10, 2026Updated 3 months ago
- reverse dependency build matrix generator☆33Sep 19, 2020Updated 5 years ago
- ☆22Dec 28, 2025Updated 7 months ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- ZuriHac 2020 GHC typechecker plugins project☆19Aug 15, 2021Updated 4 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 4 years ago
- A re-implementation of weeder using HIE files☆188Jun 23, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Automation for releasing haskell packages☆19May 22, 2023Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Formatter for Protocol Buffer files written in Haskell☆29Jul 14, 2022Updated 4 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Easy C++ code analysis with pure Haskell☆36Sep 25, 2024Updated last year
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆48Aug 2, 2024Updated 2 years ago
- GHC plugin for hlint☆12Oct 4, 2023Updated 2 years ago
- ☆20May 22, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- First Haskell implementations of Fran/FRP☆34Jan 31, 2019Updated 7 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- highlevel bindings for gnupg made easy in haskell☆12Jul 11, 2026Updated last month
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated last year
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 6 months ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Dump the declarations of Haskell modules☆20Updated this week