leftaroundabout / beamonad
A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.
☆10Updated 4 months ago
Related projects: ⓘ
- ☆9Updated 9 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 2 months ago
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated 5 months ago
- Hackager tool for releasing Haskell packages to Hackage☆29Updated 3 months ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 4 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 3 years ago
- HLint as a GHC source plugin.☆31Updated 2 months ago
- Overloaded plugin☆31Updated 3 months ago
- Functions and newtype wrappers for traversing Trees☆29Updated last week
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 5 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- Haskell program configuration using higher kinded data☆29Updated 4 months ago
- Automation for releasing haskell packages☆18Updated last year
- The power of Haskell in your terminal!☆41Updated last month
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Algebraic effects in the Bluefin effect system☆13Updated 4 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Automatic type class law checking.☆24Updated 9 months ago
- Library and utility for processing cabal's plan.json file☆38Updated 3 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Reimplementation of a subset of Cabal☆20Updated last week
- Bidirectional Parsing. Work in Progress☆31Updated 3 weeks ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated last month
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 3 months ago