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
- A simple example of integrating TypeScript and Haskell.β13Updated 3 years ago
- An opinionated OTP framework wrapperβ26Updated 3 months ago
- Handle POSIX cron schedules.β10Updated 3 months ago
- Communicate with Erlang node from Haskellβ12Updated 4 years ago
- β25Updated 2 years ago
- A Haskell IDE for Visual Studio Code.β26Updated last month
- 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
- Bindings to Cowboy serverβ12Updated last year
- β13Updated 6 months ago
- Idris backend targeting Elixir (Work in progress)β18Updated 8 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019β11Updated 5 years ago
- Property based testing for Servant using Hedgehogβ19Updated 4 years ago
- Single Page Web Applications in Idrisβ25Updated 6 months ago
- Unison Share's backend serverβ24Updated this week
- Interval datatype, interval arithmetic, and interval-based containers for Haskellβ21Updated 2 months ago
- All the worlds currencies.β13Updated 2 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.β18Updated 4 years ago
- β18Updated last week
- Logic programming with Β΅Kanrenβ11Updated 4 years ago
- Bidirectional type checker for the simply typed lambda calculusβ14Updated 5 years ago
- Haskell Actorsβ25Updated last year
- A bot that uses elm-review to find common mistakes in packages.β16Updated 3 years ago
- Abstract, inspectable JSON representation of Haskell objectsβ26Updated 2 years ago
- The UI for Unison Shareβ31Updated this week
- Automatically import Haskell modules.β21Updated 3 months ago
- π½ Core types and functions that power the Haskell `co-log` implementationβ18Updated 2 months ago
- π Typeclass for monads that can be unlifted to arbitrary base monadsβ25Updated 4 years ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queriesβ21Updated 4 months ago