alanz / machines-playView external linksLinks
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
Sorting:
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 10 years ago
- skeleton ghc/ghcjs project using nix, stack, cabal, reflex-platform, intero☆21Nov 12, 2016Updated 9 years ago
- ☆22Jun 25, 2015Updated 10 years ago
- A library simplifying user management for Haskell web applications☆51Oct 10, 2022Updated 3 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆29May 27, 2014Updated 11 years ago
- Stream postgresql-query results using the streaming library☆24Mar 6, 2024Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- HTML to Hamlet converter☆16Oct 1, 2019Updated 6 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 7 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Networks of composable stream transducers☆338Mar 3, 2025Updated 11 months ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Aug 21, 2017Updated 8 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 4 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- Real-time collaborative editing with Operational Transformation☆40Jul 20, 2024Updated last year
- A blaze-html style ReactJS binding for Haskell using GHCJS☆108Jul 30, 2016Updated 9 years ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- Experimental implementation of generic record subtyping☆18May 9, 2024Updated last year
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Generate Haskell code from a type☆146Feb 21, 2025Updated 11 months ago
- Language independent type-safe communication☆134Mar 2, 2018Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40May 24, 2016Updated 9 years ago
- ☆17Jul 23, 2022Updated 3 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 5 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 10 months ago
- Purescript bindings for Threejs☆32Jan 9, 2019Updated 7 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆158Mar 3, 2021Updated 4 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- The Event type, extracted from purescript-behaviors☆22Dec 26, 2020Updated 5 years ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- ☆90Dec 6, 2015Updated 10 years ago
- Traversals and Prisms for Data.Aeson☆52Aug 27, 2023Updated 2 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- A formalization of M-types in Agda☆36Mar 7, 2020Updated 5 years ago