Procedure Orders app for KenyaEMR

React component for ONLYOFFICE Document Server

Sinch Verification API

easily create procedures within a pit-of-success

The Mailosaur Node library lets you integrate email and SMS testing into your continuous integration process.

SQL Schema IR types for schema introspection and verification

Codesign Electron macOS apps

A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS

A declaration of intuitive and unambiguous **Procedure** resources and mechanisms.

OpenCode plugin that makes any coding model behave like a mythos-class engineer: a behavioural contract, live in-loop detection and correction, and an independent verifier that verifies the work against your repo. Self-validating, evidence-driven agent lo

Enterprise TypeORM toolkit for Oracle and PostgreSQL with strongly-typed repositories, stored procedures, multi-database entity inheritance, raw SQL orchestration, notifications, and an enhanced bundled TypeORM runtime

Command line tool for creating or updating a .npmignore file based on .gitignore.

The renderer-neutral core of the reform framework — typed, headless state, events, reducers, derived values, async/remote data, and compositions built on Effect.

collection of cryptographic functions that support every js runtime for ES5+

Hardhat plugin for integration with Tenderly

Prelude SDK for React Native

tRPC OpenAPI

The `@zk-email/helpers` package provides utility functions for email verification and cryptographic operations. It includes functions for handling RSA signatures, public keys, email bodies, and hashes.

Basic auth middleware for node and connect

A collection of utilities for better-auth