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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type-safe slugs for PureScript☆17Oct 9, 2026Updated 3 weeks ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Finite state machines, including Mealy machines, for modeling computations☆38Oct 11, 2026Updated 3 weeks ago
- ☆36Jul 29, 2025Updated last year
- Standard types and basic operations for working with JSON☆17Oct 18, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- QuickCheck powered law tests for PureScript's core typeclasses.☆27Oct 11, 2026Updated 3 weeks ago
- DotLang datatypes for purescript☆13Mar 3, 2023Updated 3 years ago
- Purescript code printer, inspired by official purescript-cst types https://hackage.haskell.org/package/purescript/docs/Language-PureScrip…☆10Nov 26, 2021Updated 4 years ago
- ☆20Feb 2, 2022Updated 4 years ago
- Skeleton app with contrived client/server examples☆20Nov 18, 2022Updated 3 years ago
- Low-level interface for asynchronous variables☆15Oct 11, 2026Updated 3 weeks ago
- Build fully isomorphic apps and APIs in PureScript by providing value level spec and renderers.☆13Aug 6, 2022Updated 4 years ago
- A Purescript data type for untagged unions☆52Dec 10, 2022Updated 3 years ago
- Provides a Aff interface to Node Child Process Spawn☆14Mar 18, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A minimal benchmarking library☆14Oct 18, 2026Updated 2 weeks ago
- General purpose bi-directional codecs☆16Oct 20, 2023Updated 3 years ago
- Type class and functions for working with newtypes☆16Oct 17, 2026Updated 2 weeks ago
- A unidirectional value-based JSON codec library.☆15Oct 9, 2023Updated 3 years ago
- Functions for working with homogeneous JavaScript objects☆28Oct 18, 2026Updated 2 weeks ago
- An implementation of algebraic graphs in PureScript☆19Jan 22, 2023Updated 3 years ago
- Registry of PureScript packages and metadata about them☆55Oct 25, 2026Updated last week
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆16Sep 12, 2026Updated last month
- Guidelines and resources for the PureScript Contributors organization☆15Jan 27, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Library support for the compiler-builtin Coercible type class.☆20Oct 17, 2026Updated 2 weeks ago
- Catenable lists☆22Oct 18, 2026Updated 2 weeks ago
- Validating an email address string against RFC 5322☆17Mar 4, 2023Updated 3 years ago
- Mutable value references☆21Oct 17, 2026Updated 2 weeks ago
- ☆58Jan 12, 2021Updated 5 years ago
- Bi-directional JSON codecs for argonaut☆38Oct 13, 2025Updated last year
- Lightweight global state management for PureScript Halogen using halogen-hooks.☆19Apr 12, 2025Updated last year
- Dissectible data structures for implementing iterative traversals.☆21May 6, 2022Updated 4 years ago
- ☆23Sep 24, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Cycle.js-like utility for working with Purescript-Event☆29Dec 13, 2021Updated 4 years ago
- A Starter kit for Purescript-Concur. Uses Parcel.☆14Feb 2, 2023Updated 3 years ago
- Let's build a highly opinionated but fully-featured web framework in PureScript☆21Nov 10, 2021Updated 4 years ago
- ☆21Jul 1, 2024Updated 2 years ago
- Unified parsing and printing for routes in PureScript☆94Jun 15, 2023Updated 3 years ago
- PureScript Erlang hello world☆13Aug 3, 2018Updated 8 years ago
- Convenient codegen for PureScript☆33May 2, 2025Updated last year