nomeata / haskell-via-sokoban
A haskell tutorial using CodeWorld
☆17Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-via-sokoban
- 🎭 Actor library for Haskell☆30Updated last year
- Order theory☆23Updated last year
- high-powered optics in a small package☆50Updated last month
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- ☆65Updated last week
- Dual Traversable☆41Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- todo and unimplemented, robustly implemented☆33Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated this week
- Source material for Certainty by Construction☆37Updated 9 months ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 4 months ago
- higher-kinded data☆30Updated last year
- Reasonable Haskell default import☆27Updated 2 years ago
- Automation for releasing haskell packages☆18Updated last year
- Experiments about running Haskell via WebAssembly on Fastly☆38Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Updated 3 years ago
- Check cross-references in repository documents☆54Updated last week
- A tool for OpenTelemetry tracing on the command line☆21Updated 7 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated last week
- CI assistant☆45Updated this week
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Haskell bindings for the Slack web API☆31Updated last week
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆19Updated last year
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 3 years ago
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 3 years ago
- Automation of Haskell package release process.☆31Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago