⛳ Sokoban game in 10 lines of Haskell
☆26Feb 28, 2023Updated 3 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☆168Aug 31, 2023Updated 2 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 28, 2026Updated last week
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆17Jun 21, 2024Updated last year
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Feb 16, 2026Updated 3 weeks ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 5 months ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 4 months ago
- ☆17Jul 17, 2023Updated 2 years ago
- wc implemented in Haskell☆21Mar 15, 2020Updated 5 years ago
- Demonstration of GTK4 TreeListView with drag-and-drop☆16Sep 21, 2024Updated last year
- egraphs-good website☆18Oct 9, 2024Updated last year
- An interactive fiction (text adventure) library in Haskell, inspired by Inform7.☆21Jan 31, 2026Updated last month
- Type-safe Atomic CSS with intuitive layouts and composable css utility classes. Inspired by Tailwindcss and Elm-UI☆55Sep 15, 2025Updated 5 months ago
- A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems☆50Oct 20, 2025Updated 4 months ago
- a lightweight HTTP proxy server, and more☆35Feb 10, 2026Updated last month
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated last year
- Extend Cabal build-depends from the command line☆59Mar 3, 2026Updated last week
- GHC plugin for open telemetry☆27Jun 5, 2025Updated 9 months ago
- Haskell implementation of DAP interface data.☆26Oct 5, 2025Updated 5 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Mar 2, 2026Updated last week
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated last month
- Morte IDE☆29Apr 3, 2025Updated 11 months ago
- mobile type (currently Swift, Kotlin) generation from Haskell types☆36Dec 3, 2025Updated 3 months ago
- Fast equality saturation in Haskell☆95Jan 22, 2026Updated last month
- A featureful sound change applier for language construction☆42Oct 19, 2025Updated 4 months ago
- Haskell bindings for the Botan cryptography library☆45Updated this week
- Python library for making modern toast notifications on macOS☆17Dec 14, 2025Updated 2 months ago
- Just toys☆10Mar 5, 2023Updated 3 years ago
- Typed, schema-based, composable Redis library for Haskell☆10Dec 10, 2025Updated 2 months ago
- ☆12Dec 16, 2024Updated last year
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- A library for building bots compositionally.☆52Mar 10, 2025Updated 11 months ago
- ☆41Nov 9, 2023Updated 2 years ago
- ☆41Apr 30, 2023Updated 2 years ago
- A shell prompt with infinite customization☆39Jun 16, 2024Updated last year
- A small collection of ESLint (http://eslint.org) rules that enforce more strict stylistic conventions for the layout of multi-property ob…☆10Nov 29, 2016Updated 9 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated 2 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Automatically exported from code.google.com/p/hunpos☆12Apr 9, 2018Updated 7 years ago