fpindia / type-systems-showdown
A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.
☆18Updated 4 years ago
Alternatives and similar repositories for type-systems-showdown:
Users that are interested in type-systems-showdown are comparing it to the libraries listed below
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- A Starter kit for Purescript-Concur. Uses Parcel.☆14Updated 2 years ago
- QuickCheck powered law tests for PureScript's core typeclasses.☆25Updated 2 years ago
- ☆38Updated last year
- Purescript refinement types with runtime checking☆25Updated 2 years ago
- Opinionated purescript wrapper for the aws sdk☆19Updated 3 years ago
- ☆25Updated 2 years ago
- A standard stack for PureScript☆25Updated 5 years ago
- Concur UI library for Purescript. Core framework.☆30Updated 4 months ago
- DotLang datatypes for purescript☆12Updated 2 years ago
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Updated last year
- ☆24Updated 3 years ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆16Updated last year
- Bindings to Cowboy server☆12Updated last year
- Convenient codegen for PureScript☆31Updated this week
- Type-directed environment parsing☆20Updated last year
- Generate tests from examples in purescript docs☆15Updated 2 years ago
- An unofficial FAQ for the PureScript language☆33Updated 3 years ago
- Type-Level Routing for PureScript☆41Updated 4 years ago
- Call and consume GraphQL APIs with type safe queries and responses☆24Updated 11 months ago
- It's Vue, it's PureScript. Simple as that.☆17Updated last year
- A hooks library for purescript-halogen☆17Updated 3 years ago
- Handling optional record fields through `undefined | a` values and typesafe zero cost coercion☆25Updated last year
- CSS in PureScript☆38Updated last year
- A fast, native representation for JSON, with serialization and folding☆48Updated last year
- PureScript implementation of argonaut☆63Updated 3 years ago
- Working illustration of the Capability Design Pattern☆12Updated 4 years ago
- Type level natural numbers and booleans☆34Updated 5 years ago
- Applicative-style validation☆45Updated 3 years ago
- Helps a PureScript developer get more familiar with Haskell, so they can use Haskell as a web server☆23Updated 5 years ago