Smash products, Wedge products, and other Pointed stuff
☆35Jun 9, 2026Updated this week
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:
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 3 years ago
- Find your open-soulmate <💜>☆78Oct 18, 2021Updated 4 years ago
- The theory of groups☆83Sep 8, 2023Updated 2 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
- 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.
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 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
- A work stealing scheduler☆82Jan 14, 2025Updated last year
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- Checks that Haskell files are linted with HLint.☆12Aug 28, 2022Updated 3 years ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 3 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- ☆21Dec 28, 2025Updated 5 months ago
- Nat, Fin, Vec☆27May 10, 2026Updated last month
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆74May 15, 2026Updated last month
- reverse dependency build matrix generator☆33Sep 19, 2020Updated 5 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- A re-implementation of weeder using HIE files☆185Dec 23, 2025Updated 5 months 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.
- ZuriHac 2020 GHC typechecker plugins project☆19Aug 15, 2021Updated 4 years ago
- Automation for releasing haskell packages☆19May 22, 2023Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Formatter for Protocol Buffer files written in Haskell☆29Jul 14, 2022Updated 3 years ago
- Easy C++ code analysis with pure Haskell☆35Sep 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 last year
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆20May 22, 2023Updated 3 years ago
- First Haskell implementations of Fran/FRP☆34Jan 31, 2019Updated 7 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated last year
- highlevel bindings for gnupg made easy in haskell☆12Sep 25, 2022Updated 3 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆35Jan 20, 2026Updated 4 months ago