cole-k / call-by-push-blockLinks
⛳ Sokoban game in 10 lines of Haskell
☆26Updated 2 years ago
Alternatives and similar repositories for call-by-push-block
Users that are interested in call-by-push-block are comparing it to the libraries listed below
Sorting:
- Haskell Tiny Game Jam☆169Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated this week
- ☆90Updated 11 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- A library for building bots compositionally.☆48Updated 6 months ago
- ☆41Updated last year
- The Haskell Optimization Handbook☆180Updated 6 months ago
- Solving UKPassportApplication with Haskell☆20Updated 3 months ago
- Functional choreographic programming in Haskell☆102Updated 3 months ago
- ☆37Updated 2 years ago
- ☆15Updated 2 years ago
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- A Haskell blog☆149Updated 2 months ago
- ☆39Updated 2 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 2 weeks ago
- A library for benign effects in Haskell☆20Updated 4 months ago
- Hoogle terminal UI brick example app☆102Updated 5 months ago
- Programming with pure lambda calculus☆121Updated this week
- haskell source code visualizer☆101Updated 5 months ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- LLVM code generation in Haskell☆54Updated 11 months ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Updated 3 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆54Updated last month
- Fast equality saturation in Haskell☆88Updated 2 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- Competitive programming utilities in Haskell☆39Updated this week
- ☆12Updated 5 years ago
- ☆88Updated 3 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆55Updated last week