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.
7 daysStars35.4k24h gain+66Score40.1
Search
Find trending repositories by name or description.
30 results for “typed”
RankRepository7 daysStars24h gainScore
How Python does AI. Agents, realtime voice, image generation, embeddings. Every model, every interface, typed end to end.
7 daysStars21.1k24h gain+21Score13.2
A curated list of public projects, integrations, and discussions built on Jev — TypeSafe AI's System One model for typed decisions.
7 daysStars2.6k24h gain+4Score3.8
Native MLX runtime for Laya typed decision models — 7–14 ms short decisions on M3 Max. No text generation, PyTorch, or cloud API.
7 daysStars7.1k24h gain+5Score3.3
An AI that administers Linux through typed, approval-gated, Ed25519-audited actions. The model selects the action; the daemon builds the command.
7 daysStars19824h gain+2Score1.2
gap — graph as policy: compile language instructions into typed, verified robot skill graphs and execute them on simulators or real robots
7 daysStars18824h gain+2Score1.2
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).
7 daysStars18.3k24h gain+1Score0.6
WarpDrive is the lightweight data library for ambitious web apps — universal, typed, reactive, and ready to scale.
7 daysStars3.2k24h gain+1Score0.4
Minimalistic dynamically-typed language for fun, teaching and creative programming.
7 daysStars18624h gain+1Score0.3
👨🚀 buzz, A small/lightweight statically typed scripting language
7 daysStars1.6k24h gain+1Score0.3
:rocket: A strongly-typed, caching GraphQL client for the JVM, Android, and Kotlin multiplatform.
7 daysStars4k24h gain0Score0.3
A small, statically typed scripting language.
7 daysStars42924h gain0Score0.3
🐀 A free, typed and edge-cached GraphQL API for PokéAPI
7 daysStars19024h gain0Score0.1
Fully typed LMDB wrappers with minimum overhead 🐦
7 daysStars92024h gain0Score0.0
Make your functions return something meaningful, typed, and safe!
7 daysStars4.4k24h gain0Score0.0
This strongly-typed, client library enables working with Elasticsearch. It is the official client maintained and supported by Elastic.
7 daysStars3.6k24h gain-Score0.0
Observable typed attributes for Python classes
7 daysStars46424h gain0Score0.0
higher order dependently typed logic programing
7 daysStars17424h gain0Score0.0
Parse human names into title, given, middle, family, suffix, nickname and maiden name. Typed, zero-dependency, CJK-aware.
7 daysStars72124h gain0Score0.0
Strongly typed JSON library for Rust
7 daysStars5.6k24h gain-Score0.0
Agda is a dependently typed programming language / interactive theorem prover.
7 daysStars2.9k24h gain-Score0.0
A central repository for Flow library definitions
7 daysStars3.8k24h gain-Score0.0
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
7 daysStars7.4k24h gain-Score0.0
Writing full-stack statically-typed web apps on JVM at its simplest
7 daysStars19524h gain-Score0.0
Typed struct and value objects
7 daysStars44224h gain-Score0.0
Schema for data modeling & validation
7 daysStars20024h gain-Score0.0
📱 A strongly-typed, caching GraphQL client for iOS, written in Swift.
7 daysStars4k24h gain-Score0.0
Strongly typed library for the entire SendGrid v3 API, including webhooks
7 daysStars19624h gain-Score0.0
Simple JSON flat file data store with support for typed and dynamic data.
7 daysStars47824h gain-Score0.0
Strongly Typed Client API Generators generate strongly typed client APIs in C# .NET and in TypeScript for jQuery and Angular 2+ from ASP.NET Web API and .NET Core Web API
7 daysStars17424h gain-Score0.0