expede / rescue
🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
☆20Updated 3 years ago
Alternatives and similar repositories for rescue:
Users that are interested in rescue are comparing it to the libraries listed below
- An opinionated OTP framework wrapper☆26Updated 2 months ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- Haskell bindings to Rust's regex library☆18Updated 2 weeks ago
- Bindings to Cowboy server☆12Updated last year
- Communicate with Erlang node from Haskell☆12Updated 4 years ago
- ☆13Updated 5 months ago
- ☆25Updated 2 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- A Elm implementation of the Tailwind framework that is type safe☆15Updated 4 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated 3 weeks ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆16Updated 11 months ago
- Handle POSIX cron schedules.☆10Updated 2 months ago
- A bot that uses elm-review to find common mistakes in packages.☆16Updated 3 years ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- ☆14Updated this week
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- All the worlds currencies.☆13Updated 2 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 3 years ago
- Type level natural numbers and booleans☆34Updated 5 years ago
- Idris backend targeting Elixir (Work in progress)