A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
☆160Mar 3, 2021Updated 5 years ago
Alternatives and similar repositories for ComonadSheet
Users that are interested in ComonadSheet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Feb 17, 2018Updated 8 years ago
- A bad XML parser☆23Sep 2, 2024Updated 2 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 6 years ago
- Playing with https://github.com/ekmett/machines☆51Jul 2, 2017Updated 9 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 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.
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 9 months ago
- Cofun with Cofree Comonads☆34Jun 13, 2016Updated 10 years ago
- Diffing of (expression) trees.☆80Jun 17, 2026Updated 4 months ago
- Some tools for provability logic☆35Apr 16, 2018Updated 8 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆108Jul 18, 2018Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 5 years ago
- Auto-generate a command-line parser for your datatype☆216Mar 29, 2026Updated 7 months ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 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.
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 7 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated 2 years ago
- Delete half (minus ε) of your Haskell code!☆30Sep 19, 2026Updated last month
- Agda-style equational reasoning in Haskell☆57Jan 18, 2026Updated 9 months ago
- Fast linear time sorting and discrimination for a large class of data types☆141Sep 20, 2026Updated last month
- Haskell tool to generate expressions from types☆102Aug 1, 2017Updated 9 years ago
- ☆12May 22, 2016Updated 10 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆163Mar 23, 2021Updated 5 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 4 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.
- An efficient graph library for Haskell☆41Aug 26, 2025Updated last year
- do-notation for Category and "Arrow without arr"☆63Mar 17, 2017Updated 9 years ago
- Constraint-based generics☆51Jan 6, 2026Updated 9 months ago
- Higher-kinded data via generics☆171Aug 20, 2024Updated 2 years ago
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 9 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Fake dependent types in Haskell using singletons☆295May 20, 2026Updated 5 months ago
- Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…☆183Jun 28, 2019Updated 7 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.
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 9 years ago
- The Art of the Propagator. See also:☆181Apr 1, 2024Updated 2 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 8 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆110Feb 27, 2023Updated 3 years ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆536Jun 8, 2021Updated 5 years ago
- an arrowized category-forward language☆19Oct 14, 2025Updated last year
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 9 years ago