chiroptical / snail
A programming language for gastropods
☆12Updated 3 months ago
Related projects: ⓘ
- ☆40Updated 10 months ago
- ☆22Updated 8 months ago
- Composable Concurrent Computation Done Right☆29Updated last year
- Wrap up Haskell tools☆15Updated 3 years ago
- Order theory☆23Updated last year
- Fast higher-order effect handlers with evidence passing☆17Updated 8 months ago
- Haskell bindings for the Slack web API☆30Updated this week
- ☆39Updated 3 months ago
- ☆22Updated last year
- Compile Dhall expressions to Cabal files☆100Updated last year
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆29Updated last year
- A monad for managed values☆50Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Single Page Web Applications in Idris☆18Updated 2 months ago
- ☆17Updated 4 months ago
- high-powered optics in a small package☆49Updated 4 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆24Updated 2 years ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- Deep evaluation of data structures☆40Updated last week
- ☆15Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- ☆51Updated last week
- Safe web routing in haskell☆30Updated last year
- Nat, Fin, Vec☆23Updated 3 weeks ago
- Game NetCode Solved☆23Updated 3 years ago
- Bindings to libsodium for Haskell☆31Updated this week
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago