☆50Apr 29, 2026Updated 6 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 8 years ago
- An experiment in functional interface design☆24Oct 29, 2016Updated 10 years ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Mar 21, 2019Updated 7 years ago
- Warp web server with template rendering☆12Aug 2, 2018Updated 8 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 9 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.
- Yet another … yet another recursion scheme library for Haskell☆91Sep 19, 2026Updated last month
- My home manager config☆16Aug 18, 2026Updated 2 months ago
- Logical relations proof in Agda☆30May 27, 2015Updated 11 years ago
- Haskell library for AWS☆22Oct 14, 2019Updated 7 years ago
- ☆20Aug 13, 2024Updated 2 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 8 years ago
- Hakyll source for pbrisbin.com☆13Sep 10, 2021Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆50Jun 6, 2025Updated last year
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆19Jul 9, 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.
- ☆37Sep 19, 2013Updated 13 years ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 7 months ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- Google Translate API☆50Dec 14, 2024Updated last year
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Aug 11, 2016Updated 10 years ago
- A server interface to GHC.☆18Oct 11, 2014Updated 12 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 5 years ago
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 6 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 9 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.
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 9 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 9 years ago
- keyed functors☆23Jan 10, 2026Updated 9 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 10 years ago
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Dual Traversable☆42Jan 10, 2026Updated 9 months ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 10 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years 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.
- Tools for programming with ConstraintKinds in GHC☆77Jan 26, 2026Updated 9 months ago
- i bet you there is a typesystem behind music☆32Oct 24, 2018Updated 8 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 11 years ago
- Create command line interfaces with ease☆42Jan 21, 2023Updated 3 years ago
- Haskell library for evaluating whether chess moves are allowed on a given position☆13Mar 13, 2015Updated 11 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 7 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated 2 years ago