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
- Haskell bindings to Rust's regex library☆18Updated last month
- An opinionated OTP framework wrapper☆26Updated 2 months ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- A Elm implementation of the Tailwind framework that is type safe☆15Updated 4 years ago
- ☆25Updated 2 years ago
- Communicate with Erlang node from Haskell☆12Updated 4 years ago
- Bindings to Cowboy server☆12Updated last year
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Updated 4 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Handle POSIX cron schedules.☆9Updated last month
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- A bot that uses elm-review to find common mistakes in packages.☆16Updated 3 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- All the worlds currencies.☆13Updated 2 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Haskell libraries for working with the Stripe API☆20Updated last month
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 3 weeks ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 3 years ago
- ☆13Updated 5 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 3 weeks ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries☆21Updated 3 months ago
- The UI for Unison Share☆31Updated this week
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Single Page Web Applications in Idris☆24Updated 5 months ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated this week