chiroptical / snail
A programming language for gastropods
☆12Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for snail
- Wrap up Haskell tools☆15Updated 3 years ago
- ☆22Updated 10 months ago
- ☆22Updated last year
- Order theory☆23Updated last year
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- ☆40Updated last year
- the dynabook but for haskell☆23Updated 5 years ago
- Safe web routing in haskell☆30Updated last year
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- ☆16Updated 2 years ago
- Game NetCode Solved☆24Updated 3 years ago
- Haskell bindings for the Slack web API☆32Updated 3 weeks ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Types for ldtk☆14Updated 7 months ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 3 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Game in Haskell☆14Updated 4 months ago
- Haskell Actors☆25Updated last year
- Tools for building 3D interactive programs in Haskell☆67Updated 7 months ago
- ☆19Updated 2 months ago
- Example uses of linear types☆43Updated 4 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago