borkdude / balcony-hsView external linksLinks
Should I water my balcony?
☆13Aug 6, 2018Updated 7 years ago
Alternatives and similar repositories for balcony-hs
Users that are interested in balcony-hs are comparing it to the libraries listed below
Sorting:
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- Keep your laziness in check!☆35Dec 29, 2025Updated last month
- An implementation of the game Love Letter in the terminal, written in Haskell.☆16May 27, 2019Updated 6 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Oct 24, 2019Updated 6 years ago
- ☆17Jun 29, 2020Updated 5 years ago
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- teach yourself some rust by making a crabby compliment app☆24Nov 25, 2018Updated 7 years ago
- ☆20Aug 13, 2024Updated last year
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Mar 9, 2020Updated 5 years ago
- A guideline compliant Tetris clone made with Haskell.☆25Jan 13, 2021Updated 5 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 6 years ago
- Bidirectional Parsing. Work in Progress☆33Sep 23, 2024Updated last year
- An experimental Haskell library for programming with effectful runners.☆30Dec 6, 2019Updated 6 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- A migration library for Persistent☆29Sep 29, 2021Updated 4 years ago
- "Writing 2D games using super simple Haskell" at Haskell Love 2020 conference https://haskell.love/jan-christopher-vogt/☆29Aug 4, 2020Updated 5 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Aug 2, 2020Updated 5 years ago
- Reverse proxy that handles authentication☆37Sep 9, 2018Updated 7 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- Server-side VDOM UI framework for Concur☆138Oct 18, 2020Updated 5 years ago
- Free ideas, worth every penny☆33Nov 4, 2020Updated 5 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 6 months ago
- Example CRUD web server+client using Servant☆34Sep 5, 2022Updated 3 years ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 7 years ago
- ☆10Jan 7, 2023Updated 3 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A Play! Framework tiny log enhancer☆17Oct 27, 2011Updated 14 years ago
- Functional teaching language for use in a discrete mathematics course☆179Feb 4, 2026Updated last week
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- A simple blog software written in Haskell☆86Jun 24, 2017Updated 8 years ago
- A Haskell implementation of the Jupyter messaging protocol☆41Jul 15, 2020Updated 5 years ago
- Text and Haskell source for my blog series on recursion schemes.☆49Jul 13, 2022Updated 3 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago