turion / essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Framework
☆62Updated 4 months ago
Related projects: ⓘ
- Tutorial for essence-of-live-coding☆16Updated last year
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- 🐚 Out of the shell solution for scripting in Haskell☆70Updated last year
- ☆29Updated 5 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆83Updated 3 years ago
- high-powered optics in a small package☆49Updated 4 months ago
- A PureScript interpreter in Haskell☆118Updated 2 years ago
- Tool for cleaning away old Haskell Stack build artifacts☆36Updated 9 months ago
- Haskell program configuration using higher kinded data☆29Updated 3 months ago
- Easily consume JSON data on-demand with type-safety☆53Updated 2 weeks ago
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆24Updated 2 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 5 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- Prune unused Haskell dependencies.☆48Updated last year
- Dhall bindings for Idris☆40Updated 11 months ago
- an applicative functor that seamlessly talks to HTML inputs☆73Updated 5 years ago
- Generates a references DB from .hie files☆64Updated 2 months ago
- Documentation for Concur☆66Updated 3 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- Grow procedual art☆36Updated 2 months ago
- type level sets☆67Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆74Updated last year