pkamenarsky / concur-static
Generate semi-dynamic UIs with Concur
☆58Updated 3 years ago
Related projects: ⓘ
- Finite state machines as graphs☆58Updated 4 years ago
- PoC for Object Oriented Haskell☆20Updated 4 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 5 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆38Updated last year
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆95Updated 3 years ago
- A structural editor for JSON values☆78Updated last year
- Haskell In New Clothes☆111Updated 4 years ago
- ☆20Updated 7 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Content Addressable Storage Archive☆41Updated 5 months ago
- Dhall helpers for github actions☆55Updated 10 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 2 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 4 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- So, you want to write a DSL interpreter...☆25Updated 5 years ago
- Fast, scalable and secure de-duplicating backup.☆16Updated 4 years ago
- Jupyter notebooks☆57Updated last week
- A Unison Github repo explorer in Elm☆34Updated 2 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 4 years ago
- Fast and simple JSON encoding toolkit☆83Updated 9 months ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆21Updated 3 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated 9 months ago
- Madlang is a language for generative literature☆51Updated 6 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- ☆42Updated 6 years ago
- Manual reproducible web API tests for web developers☆99Updated last year
- An aggregation of all online content related to Haskell.☆90Updated 6 years ago