robrix / languages-all-the-way-down
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
☆20Updated 4 years ago
Alternatives and similar repositories for languages-all-the-way-down:
Users that are interested in languages-all-the-way-down are comparing it to the libraries listed below
- Launch and manage your Tmux sessions from Dhall files.☆17Updated 4 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Thread-indexed storage around arbitrary context values☆11Updated last year
- 🔫 GitHub application to suggest hints☆26Updated 4 years ago
- High-performance JSON parser☆26Updated 11 months ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- ☆16Updated 2 years ago
- Haskell types lined up to highlight their similarities☆31Updated 5 years ago
- Dhall helpers for github actions☆54Updated last year
- HLint as a GHC source plugin.☆31Updated 8 months ago
- Derive instances through isomorphisms☆20Updated 9 months ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- A compatibility library for `hedgehog` and `fakedata`☆15Updated last month
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Haskell types and instances for decoding GitHub webhook payloads.☆35Updated this week
- Create temporary postgres instances☆53Updated 7 months ago
- Build servers in Hyper using Trout☆15Updated 4 years ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Selective applicative functors☆15Updated 6 years ago
- Utilities and templates for building renderless components in Halogen☆20Updated 4 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 4 months ago