expede / rescueLinks
🚒✨ 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
Sorting:
- An opinionated OTP framework wrapper☆26Updated 5 months ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- A bot that uses elm-review to find common mistakes in packages.☆16Updated 3 years ago
- A Elm implementation of the Tailwind framework that is type safe☆15Updated 4 years ago
- Bindings to Cowboy server☆12Updated last year
- Handle POSIX cron schedules.☆10Updated last month
- Haskell bindings to Rust's regex library☆19Updated 3 months ago
- Communicate with Erlang node from Haskell☆13Updated 4 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- ☆15Updated 9 months ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- All the worlds currencies.☆13Updated 3 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Updated last year
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated 3 weeks ago
- The UI for Unison Share☆31Updated last week
- Extra functions for the core Random library.☆27Updated 4 years ago
- Single Page Web Applications in Idris☆25Updated 9 months ago
- Provides elm-review rules to detect unused elements in your Elm project☆25Updated 5 months ago
- Build servers in Hyper using Trout☆16Updated 5 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Updated 4 years ago
- ☆26Updated 2 years ago
- A programming language for gastropods☆11Updated last year
- Abstract, inspectable JSON representation of Haskell objects☆26Updated 3 years ago
- Haskell bindings to libsystemd-journal☆21Updated 3 months ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Type level natural numbers and booleans☆34Updated 5 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 4 months ago
- Exercism exercises in PureScript.☆38Updated last month