typesafe-router
A tiny wrapper library for React Router that dramatically improves type safety.
A tiny wrapper library for React Router that dramatically improves type safety.
An intuitive type schema specification language
Decorate a method for strict types
A tiny library that helps us achieve a certain level of type safety around interfaces (via duck typing). This library also helps us keep JavaScript objects synchronized with any interface definitions that they explicitly implement.
Force strict types for javascript function parameters
Safety Module for the Aave Protocol
Safety Module for the Athena Protocol
The NGA-MSI package is a MAGE server plugin that provides feeds from National Geospatial-Intelligence Agency's Maritime Safety Information API.
Checks any email address against the haveibeenpwned.com database and reports back. If your address has been compromised, make sure to read the full report on haveibeenpwned.com and take appropriate measures.
Staking for the LendDAO Protocol
A full service for asymetric passwordless authentication.
GraphQL monitoring library
color-cross-join
death-measure
develop-seven-frozen-biggest
A tool for generating fire safety checklists.
Declarative navigation with static analysis safety
Used for scenarios that require verification time.