#contracts

Participatory moderation: juries, evidence and appeals

El repositorio no publica descripción.

Research control plane for AI-assisted scholarship: durable human checkpoints, lawful evidence provenance, and verifiable research packages.

Let AI agents query and update Postgres/MySQL without raw SQL, unrestricted schema access, or database credentials in the model; writes stay reviewed.

A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.

PPWCode.Vernacular.Contracts

A multifunctional media management project designed to provide a unified user interface and database model to record, manage, build, sync, and showcase your media collection and memories.

Extracted TypeSpec API source for ANcpLua OpenTelemetry convention experiments

Zero-dependency shared type definitions for the hawk ecosystem: findings, severity, events, policy verdicts, session state.

Provider‑first .NET testing framework for auto‑mocking, DI‑driven test creation, and optional Moq compatibility.

Milpa Core — framework-agnostic contracts & primitives for the Milpa PHP framework (DI, plugins, events, value objects). Apache-2.0.

Library for quick product building using: Relational database (SQL Server, PostgreSql, MySql); NoSql database (MongoDb, Redis); Message Broker (RabbitMQ); Pipeline (Pipe and Filters pattern); Documentation (Swagger); Mapping (AutoMapper); Logging (NLog); Validation and specifications, unit of work, repository, among others.

TypeScript SDK for building GoodVibes operator, peer, web, mobile, and daemon-connected apps with typed contracts, auth, realtime events, and transport layers.

Generic abstractions related to writing services

Read-only VeChain data SDK, typed getters for balances, VNS, avatars, smart accounts. Node & browser friendly.

Generic abstractions related to HTTP clients

Git-backed coordination for autonomous agents: typed requests, versioned contracts, lifecycle state, and verified handoffs—no hosted server.

Pure protocol contracts shared by Built for Cloud and Scalpels

El repositorio no publica descripción.

Generic abstractions related to translation

Open-source library for creating canonical shared libraries across development teams. Define data models, API contracts, and webhooks once in C# and automatically generate standards-compliant .NET NuGet packages, OpenAPI specifications, and TypeScript NPM packages.

Local-first semantic governance for AI agents: contracts, impact, drift, evidence, and verified execution. Codex is the first native integration.

TypeScript library for SEC EDGAR filing discovery and contract exhibit acquisition with built-in rate limiting and compliance

Milpa Resolver — resolve the architecture before booting it: contracts, capabilities, surfaces and host profiles into a learnable ResolutionReport. Apache-2.0.

Contract programming for C++