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:
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated 3 weeks ago
- Haskell Tiny Game Jam☆171Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated last month
- ☆41Updated last year
- ☆90Updated 11 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆114Updated this week
- ☆15Updated 2 years ago
- A library for building bots compositionally.☆48Updated 7 months ago
- A style guide for Haskell code.☆12Updated 4 months ago
- A Haskell blog☆150Updated last week
- The Haskell Optimization Handbook☆180Updated 7 months ago
- Functional choreographic programming in Haskell☆105Updated 4 months ago
- A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems☆49Updated last year
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Updated 3 years ago
- Functional, expression-oriented data processing language☆90Updated this week
- A library for benign effects in Haskell☆20Updated 4 months ago
- Uncompromisingly safe money library☆60Updated 4 months ago
- Solving UKPassportApplication with Haskell☆20Updated 3 months ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year
- Programming with pure lambda calculus☆127Updated last week
- LLVM code generation in Haskell☆54Updated 11 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 2 weeks ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆42Updated last month
- haskell source code visualizer☆101Updated 5 months ago
- The Montreal Haskell Compiler☆27Updated this week
- Distributors - Unifying Parsers, Printers & Grammars☆56Updated this week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆55Updated last week