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
- 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.
- 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 4 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 3 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 implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 6 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆77Aug 6, 2026Updated 3 weeks ago
- Nat, Fin, Vec☆28May 10, 2026Updated 3 months ago
- reverse dependency build matrix generator☆33Sep 19, 2020Updated 5 years ago
- ☆22Dec 28, 2025Updated 8 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 5 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 2 months 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.
- 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 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.
- 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 7 months ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Dump the declarations of Haskell modules☆20Aug 11, 2026Updated 3 weeks ago