chiroptical / snail
A programming language for gastropods
☆12Updated 8 months ago
Alternatives and similar repositories for snail:
Users that are interested in snail are comparing it to the libraries listed below
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- ☆41Updated last year
- Alternative and lite implementation of Hoogle☆11Updated 10 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated 2 months ago
- Automatically import Haskell modules.☆21Updated 2 weeks ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- high-powered optics in a small package☆53Updated 4 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆71Updated 4 months ago
- APIs for more recursive definitions☆19Updated 3 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Type-safe WebAssembly eDSL in Haskell☆23Updated 4 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- A monad for managed values☆50Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆25Updated last year
- ☆38Updated this week
- Efficient parser combinators for Haskell☆39Updated 10 months ago
- ☆18Updated 3 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- Single Page Web Applications in Idris☆23Updated 4 months ago
- The PureScript Package Manager in Nix☆57Updated last month
- Ties the knot on data structures that reference each other by unique keys☆47Updated 6 months ago
- A GHC plugin to derive instances.☆23Updated 2 years ago
- Call and consume GraphQL APIs with type safe queries and responses☆24Updated 9 months ago
- Fast higher-order effect handlers with evidence passing☆18Updated last year