BartoszMilewski / XOperad
The implementation of tic-tac-toe using an operadic comonad
☆11Updated 4 years ago
Alternatives and similar repositories for XOperad:
Users that are interested in XOperad are comparing it to the libraries listed below
- Give Haskell development tools access to Cabal project environment.☆24Updated 4 years ago
- Speculate laws about Haskell functions☆30Updated last month
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Library to integrate eta wai applications with servlet api☆18Updated 6 years ago
- Dual Traversable☆42Updated last year
- higher-kinded data☆30Updated last year
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- Make presentations for data types☆25Updated 3 years ago
- Haskell library for AWS☆22Updated 5 years ago
- A plugin for GHC to support super monads.☆25Updated 6 years ago
- A hack to find types in Haskell codebases☆10Updated 9 years ago
- Compile git revision info into Haskell projects☆49Updated last year
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Integrations with Vinyl/Frames records.☆44Updated 2 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 4 months ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Plucky errors and exceptions☆20Updated 4 years ago
- A game about exponential growth written in Haskell☆31Updated 8 years ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago