nomeata / haskell-via-sokoban
A haskell tutorial using CodeWorld
☆19Updated 4 months ago
Alternatives and similar repositories for haskell-via-sokoban:
Users that are interested in haskell-via-sokoban are comparing it to the libraries listed below
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Source material for Certainty by Construction☆41Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- Functionality for beautifying GHCi☆20Updated 5 years ago
- Tool for cleaning away old Haskell Stack build artifacts☆37Updated last year
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- A tool suite to aid Haskell development using `cabal-install`☆86Updated 5 months ago
- Examples for Streamly☆29Updated last month
- Example uses of linear types☆43Updated 4 years ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- CI assistant☆46Updated 3 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Platform-independent library for basic file system operations☆59Updated 2 months ago
- Algebraic effects in the Bluefin effect system☆16Updated last year
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last year
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- ☆25Updated 2 years ago
- Dual Traversable☆42Updated last year
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 2 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Session types framework with support of protocol pipelining.☆15Updated 2 months ago
- ☆26Updated 4 months ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆56Updated 5 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 months ago
- Check cross-references in repository documents☆56Updated last month