Playing with https://github.com/ekmett/machines
☆51Jul 2, 2017Updated 8 years ago
Alternatives and similar repositories for machines-play
Users that are interested in machines-play are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Stream postgresql-query results using the streaming library☆24Mar 6, 2024Updated 2 years ago
- Networks of composable stream transducers☆338Mar 3, 2025Updated last year
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- skeleton ghc/ghcjs project using nix, stack, cabal, reflex-platform, intero☆21Nov 12, 2016Updated 9 years ago
- A library simplifying user management for Haskell web applications☆51Oct 10, 2022Updated 3 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Mar 23, 2021Updated 5 years ago
- ☆22Jun 25, 2015Updated 10 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆158Mar 3, 2021Updated 5 years ago
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- time tracker in haskell☆10Jul 21, 2015Updated 10 years ago
- 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.
- HTML to Hamlet converter☆16Oct 1, 2019Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- A blaze-html style ReactJS binding for Haskell using GHCJS☆108Jul 30, 2016Updated 9 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols☆147Dec 14, 2020Updated 5 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Language independent type-safe communication☆134Mar 2, 2018Updated 8 years ago
- ☆17Jul 23, 2022Updated 3 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- Source for personal blog.☆78Feb 25, 2026Updated last month
- ☆90Dec 6, 2015Updated 10 years ago
- A PureScript wrapper around the HTML5 Web Audio API☆24Dec 8, 2018Updated 7 years ago
- Implementation of Nuprl's type theory in Coq☆47Feb 25, 2026Updated last month
- 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.
- Real-time collaborative editing with Operational Transformation☆40Jul 20, 2024Updated last year
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 6 years ago
- Make your Haskell git repositories fashionable.☆55May 12, 2018Updated 7 years ago
- A formalization of M-types in Agda☆36Mar 7, 2020Updated 6 years ago
- Generate Haskell code from a type☆146Feb 21, 2025Updated last year
- A funny toy programming language project☆28Feb 9, 2013Updated 13 years ago