#typesafe (27 Repositories)
Ranked open-source repositories tagged with #typesafe, scored by pull request acceptance likelihood and maintainer engagement velocity.
38.1%
30.0h
27 repositories tagged #typesafe
specta-rs/specta
Easily export your Rust types to other languages
AnotiaWang/awesome-decision-models
A curated list of decision models (System One / typed decision models): hosted APIs, open-weight models, runtimes, SDKs, applications, benchmarks, and papers.
samber/lo
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
TanStack/router
🤖 A client-first, server-capable, fully type-safe router and full-stack framework for the web (React and more).
valentynkit/awesome-jev-typesafe
Typed decisions with TypeSafe's Jev, the first System One model
ollaya-dev/ollaya
Run open decision models locally: pull and serve Laya, decider, NLI and GLiClass behind a TypeSafe-compatible API. Ollama for decision models.
go-jet/jet
Type safe SQL builder with code generation and automatic query result data mapping
http4k/http4k
The Functional toolkit for Kotlin HTTP applications. http4k provides a simple and uniform way to serve, consume, and test HTTP services.
Avinash-jetwani/jevmem
jevmem saves the decisions, rules and failed approaches from your Claude Code chats to JEVMEM.md in your repo, and brings the relevant ones back next session.
carueda/tscfg
Schema-first, boilerplate-free, type-safe access to configuration properties in Java and Scala
wsporto/typesql
TypeSQL - Generate Typescript API from raw SQL. Supports PostgresSQL, MySQL, Sqlite, LibSQL (Turso) and D1 (Cloudflare)
badrap/valita
A typesafe validation & parsing library for TypeScript.
supercorp-ai/supercov
Coverage, security and code quality for coding agents
fatwang2/awesome-jev
A source-backed Jev project directory with a reusable Jev-only GitHub review workflow.
awlevin/typesafe-computer-use
Computer use for about $0.0002 a step: OCR the screen, classify the next action with TypeSafe, click. macOS.
colinlienard/sv-router
🚦 Type-safe routing for Svelte SPAs
kunchenguid/compact-adviser
"Work appears completed or recorded. Run /compact to save tokens."
hellogumbo/awesome-jev
A community directory of projects built on Jev, TypeSafe AI's System One model.
wh000wh000/awesome-jev-live
Awesome Jev — evidence-graded index of TypeSafe System One: SDKs, MCP tools, agents, apps and open models. 20 languages, rebuilt every 2 hours.
DevMortimer/pi-warden
Guardrails for Pi that steer instead of interrupt: enforces your project rules on every write, holds only hard-to-undo actions (3 per 1,000 calls, measured on real sessions), catches unverified "done" claims and stuck loops, and trims tool output. Built on pi-typesafe.
bridge-codes/bridge
Bridge is a Typescript Node.js framework that provides an easy and scalable way to create REST APIs while generating the client code. Our goal is to make Bridge a great framework for both frontend and backend teams, so if you're familiar with Node.js and Typescript, you'll feel right at home.
dandoh/web-haskell-graphql-postgres-boilerplate
Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more
wfzyx/von
The open-source System One decision model. Sub-15ms, non-autoregressive, local drop-in alternative to TypeSafe Jev.
kiwicom/navigation-compose-typed
Type-safe arguments for Jetpack Navigation Compose using Kotlinx.Serialization
next-safe-action/next-safe-action
Type safe and validated Server Actions in your Next.js project.
damianricobelli/stepperize
The type-safe way to build multi-step experiences in React.
bcherny/undux
⚡️ Dead simple state for React. Now with Hooks support.