ModernRelay / omnigraph

Object-storage native graph database with branching and typed ontology

ctoldigital / axuse

Accessibility-first browser & computer use for AI agents — one MCP server for every harness (Codex, Claude Code, OpenCode, Antigravity). Instruments the DOM/accessibility tree via CDP instead of screenshot loops: diffed snapshots, stable element refs, trusted input, typed errors. Zero dependencies

slavabars / decision-cascade

Local decision engine with typed, calibrated outputs (Noul/Choice/Score): cheap→strong cascade, ECE/Brier calibration, SystemOne protocol interop. Apache-2.0.

DeepAleph / jevreel

A zero-embedding approach to video intelligence, using Jev: contact sheets + typed decisions, as MCP tools and a skill for any coding agent.

nim-lang / Nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

DefinitelyTyped / DefinitelyTyped

The repository for high quality TypeScript type definitions.

NandhaKishorM / laya

Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per request.

gleam-lang / gleam

⭐️ A friendly language for building type-safe, scalable systems!

pydantic / pydantic-ai

How Python does AI. Agents, realtime voice, image generation, embeddings. Every model, every interface, typed end to end.

FluentValidation / FluentValidation

A popular .NET validation library for building strongly-typed validation rules.

purescript / purescript

A strongly-typed language that compiles to JavaScript

YaoApp / yao

✨ All your agents and workspaces in one place, on every device you own. Track tasks on a board, accessible from desktop, mobile, browser, or API. Self-hosted.

PyGithub / PyGithub

Typed interactions with the GitHub API v3

rescript-lang / rescript

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

mizorewww / laya-mlx

Native MLX runtime for Laya typed decision models — 7–14 ms short decisions on M3 Max. No text generation, PyTorch, or cloud API.

arrow-kt / arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

carp-lang / Carp

A statically typed lisp, without a GC, for real-time applications.

serde-rs / json

Strongly typed JSON library for Rust

callstack / agent-device

Mobile app automation and verification for AI coding agents. CLI, MCP server, and typed Node.js API for iOS, Android, HarmonyOS, TV, web, macOS, and Linux.

typedb / typedb

TypeDB: Built for systems, not records

dry-python / returns

Make your functions return something meaningful, typed, and safe!

datamodel-code-generator / datamodel-code-generator

Generate Pydantic v2 models, dataclasses, TypedDict, and msgspec.Struct from OpenAPI, JSON Schema, GraphQL, Avro, Protobuf, and raw JSON/YAML/CSV.

apollographql / apollo-kotlin

:rocket:  A strongly-typed, caching GraphQL client for the JVM, Android, and Kotlin multiplatform.

flow-typed / flow-typed

A central repository for Flow library definitions

elastic / elasticsearch-net

This strongly-typed, client library enables working with Elasticsearch. It is the official client maintained and supported by Elastic.

adelsz / pgtyped

pgTyped - Typesafe SQL in TypeScript

cortex-docs / cortex

Cortex - Generates interactive API documentation, typed SDKs, and MCP servers from OpenAPI, AsyncAPI, GraphQL, gRPC, OpenRPC, and Markdown.

warp-drive-data / warp-drive

WarpDrive is the lightweight data library for ambitious web apps — universal, typed, reactive, and ready to scale.

teal-language / tl

The compiler for Teal, a typed dialect of Lua

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

glincker / thesvg

7,400+ brand SVG icons for developers. Tree-shakeable, typed, open source. npm i thesvg

assertj / assertj

Fluent testing assertions for Java and the JVM

datachain-ai / datachain

The Context Layer for unstructured data: typed, versioned datasets over S3, GCS, Azure

dgunning / edgartools

Read and analyze SEC EDGAR filings in Python. 10-K, 8-K, XBRL financials, Form 3/4/5, 13F, ADV — clean API, well-typed, MIT-licensed.

sharkdp / numbat

A statically typed programming language for scientific computations with first class support for physical dimensions and units

yibie / awesome-jev

A curated list of public projects, integrations, and discussions built on Jev — TypeSafe AI's System One model for typed decisions.

bespokelabsai / nimble

Local typed decisions, contrastive data curation, and model evaluation.

vtereshkov / umka-lang

Umka: a statically typed embeddable scripting language

typeddjango / awesome-python-typing

Collection of awesome Python types, stubs, plugins, and tools to work with them.

typeddjango / django-stubs

PEP-484 stubs for Django

BetterTyped / react-zoom-pan-pinch

🖼 React library to support easy zoom, pan, pinch on various html dom elements like <img> and <div>

Cysharp / MasterMemory

Source Generator based Embedded Typed Readonly In-Memory Document Database for .NET and Unity.

coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

dj-bolt / django-bolt

The fastest Python web framework, built on Django. Rust (Actix Web) HTTP server + async typed handlers + msgspec, with the full Django ORM, Admin, middleware and auth. 300k+ req/s, no gunicorn/uvicorn.

Giorgi / EntityFramework.Exceptions

Strongly typed exceptions for Entity Framework Core. Supports SQLServer, PostgreSQL, SQLite, Oracle and MySql.

savonet / liquidsoap

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

jdalrymple / gitbeaker

🦊🧪 A comprehensive and typed Gitlab SDK for Node.js, Browsers, Deno and CLI

mizorewww / laya-coreml

Local Laya typed decisions on Apple Core ML and Neural Engine. Validated ports, ~5 ms short decisions on M3 Max, reproducible speed and energy benchmarks.

CuyZ / Valinor

Dependency free PHP library that helps to map any input into a strongly-typed structure.

spatie / laravel-settings

Store strongly typed application settings

litestar-org / polyfactory

Simple and powerful factories for mock data generation

mohitagw15856 / pm-claude-skills

1255 professional Agent Skills for Claude, ChatGPT, Gemini, Cursor & Codex — PRDs, postmortems, leases, medical bills, layoffs, go-bags, new countries. Plain markdown, MIT, in Anthropic's plugin directory. Plus a typed decision layer: which skill, is it safe, ship or slip. Free in-browser or npx pm-claude-skills add.

nokia-applied-research / AnyJev

Turn any LLM into a Jev-style decision model: typed decisions, real probabilities, no training. (continue updating, welcome any issue and PR request)

dtolnay / inventory

Typed distributed plugin registration

BetterTyped / hyper-fetch

⚡ Fetching and realtime data exchange framework.

openclaw / lobster

Lobster is a Openclaw-native workflow shell: a typed, local-first “macro engine” that turns skills/tools into composable pipelines and safe automations—and lets Openclaw call those workflows in one step.

GaijinEntertainment / daScript

daslang - high-performance statically strong typed scripting language

JKorf / Binance.Net

C#/.NET client library for the Binance.com cryptocurrency exchange REST and WebSocket APIs, supporting Spot and Futures trading and market data with strongly typed models.

Mapika / decider

A family of System One-style models fine-tuned from Qwen3.5, designed for one-pass typed decisions with calibrated probabilities.

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes