Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
-
Updated
May 10, 2024 - Common Lisp
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Domino-ui
coulomb: unit analysis for Scala
TypeScript type-guards and other type-safety utils for any environment 🎉
Everything and the kitchen sink
Wrapper around Expression Trees to provide statically typed experience and easier, less error prone enviroment for writing runtime compiled code
Intuitive, type-safe configuration module for Nest framework ✨
Make your functions return something meaningful, typed, and safe!
Kysely dialect for PostgreSQL using the Postgres.js client.
The full-stack form library for Remix and React Router
Framework for building modular, type-safe and documented backends.
pgTyped - Typesafe SQL in TypeScript
Protobufs for functional programming
Type safe, composable type guards for TypeScript
🛠 A modern and practical TypeScript type utility library
Data interchange with algebraic data types.
Some useful decorators for any situation. Includes runtime type checking.
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Add a description, image, and links to the type-safety topic page so that developers can more easily learn about it.
To associate your repository with the type-safety topic, visit your repo's landing page and select "manage topics."