types topic
gidti
Book: Introduction to Dependent Types with Idris
bitty
🗃 A mono-repository with functional programming helpers, algebraic data types, util functions, types and even some micro frameworks in TypeScript.
ts-toolbelt
👷 TypeScript's largest type utility library
cleantype
Readable and consistent C++ type introspection - Compiler Decipherer
abacus
Abacus is a tool to simplify the handling of units
sumtype
A namedtuple-style library for defining immutable sum types in Python.
pagarme-js-types
📖 A simple typescript definition file for pagarme-js repository
reflec-ts
TypeScript compiler with Reflection capabilities
polyfactory
Simple and powerful factories for mock data generation