A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.
☆18Feb 4, 2021Updated 5 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
Sorting:
- Type-safe slugs for PureScript☆17Feb 1, 2026Updated last month
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Finite state machines, including Mealy machines, for modeling computations☆37Apr 27, 2022Updated 3 years ago
- ☆36Jul 29, 2025Updated 7 months ago
- DotLang datatypes for purescript☆13Mar 3, 2023Updated 3 years ago
- esbuild integration for PureScript☆26Aug 11, 2021Updated 4 years ago
- A Purescript data type for untagged unions☆51Dec 10, 2022Updated 3 years ago
- QuickCheck powered law tests for PureScript's core typeclasses.☆26Oct 17, 2022Updated 3 years ago
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Jul 18, 2023Updated 2 years ago
- ☆20Feb 2, 2022Updated 4 years ago
- ☆12Feb 10, 2022Updated 4 years ago
- A unidirectional value-based JSON codec library.☆15Oct 9, 2023Updated 2 years ago
- Provides a Aff interface to Node Child Process Spawn☆14Mar 18, 2024Updated last year
- A minimal benchmarking library☆14Sep 23, 2022Updated 3 years ago
- Lightweight global state management for PureScript Halogen using halogen-hooks.☆17Apr 12, 2025Updated 10 months ago
- General purpose bi-directional codecs☆15Oct 20, 2023Updated 2 years ago
- Guidelines and resources for the PureScript Contributors organization☆15Jan 27, 2025Updated last year
- Validating an email address string against RFC 5322☆17Mar 4, 2023Updated 3 years ago
- Standard types and basic operations for working with JSON☆17May 16, 2024Updated last year
- An implementation of algebraic graphs in PureScript☆19Jan 22, 2023Updated 3 years ago
- Type class and functions for working with newtypes☆15Sep 3, 2022Updated 3 years ago
- Functions for working with homogeneous JavaScript objects☆28Oct 27, 2022Updated 3 years ago
- ☆58Jan 12, 2021Updated 5 years ago
- Catenable lists☆21Apr 27, 2022Updated 3 years ago
- Skeleton app with contrived client/server examples☆20Nov 18, 2022Updated 3 years ago
- Convenient codegen for PureScript☆32May 2, 2025Updated 10 months ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- [WIP] PureScript bindings for Playwright☆19Jul 17, 2024Updated last year
- PureScript crash course targeted at Elm developers☆38Sep 17, 2024Updated last year
- Swerve is a library that offers a type-level DSL for describing server and client web applications. Inspired by Haskell's Servant library…☆21Mar 14, 2021Updated 4 years ago
- Bi-directional JSON codecs for argonaut☆37Oct 13, 2025Updated 4 months ago
- ☆36Jul 24, 2022Updated 3 years ago
- Unified parsing and printing for routes in PureScript☆94Jun 15, 2023Updated 2 years ago
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- Let's build a highly opinionated but fully-featured web framework in PureScript☆20Nov 10, 2021Updated 4 years ago
- Development work related to the PureScript Registry☆95Feb 19, 2026Updated 2 weeks ago
- Many-to-many broadcasting☆16Apr 27, 2022Updated 3 years ago
- Mutable value references☆21Apr 27, 2022Updated 3 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Jan 6, 2025Updated last year