typed
40 stories and discussions about typed, aggregated from every source we track.
Evaluates typed decisions (choice, score, noul) over 100+ languages in a single forward pass with calibrated probabilities. Outperforms TypeSafe Jev.
Run typed option logits and autoregressive JSON locally with open models and WebGPU.
52 Jev-class systems tested on 534 decisions. Jev 1.13.0 leads JevBench v1.3.0 with 74.4; compare open-source, self-hostable and hosted options.
Agent evals and guardrails in one request. Built on Jev, Kev and Laya. - openlayer-ai/jevals
How Jev's typed probabilistic decisions, LangGraph workflows, and Tenuo task-scoped warrants combine in a dependency upgrade agent.
PHP 7.4 adds typed properties to classes
Strongly typed Elasticsearch DSL written in Rust. Contribute to vinted/elasticsearch-dsl-rs development by creating an account on GitHub.
Well-Typed are happy to announce Eventlog Live, a program that streams real-time telemetry from any Haskell application to any observability platform that supports the OpenTelemetry protocol.
typesleeve w/ keyboard · 1913-1918, likely later — from the Dynamically Typed collection.
Single-forward-pass semantic routing in Rust: turn dense LLMs (Llama, Qwen, Mistral, Gemma) into a typed decision API with LoRA/QLoRA training and FP8/FP4 quantization, built on Candle. - neurono-m...
Choose your model, tune the research workflow, and take the session with you. The Grainulator research playground.
A workspace and framework to build domain-specific systems for agentic knowledge work. - arsumbris/arsumbris
The agent reports through a fixed set of typed blocks instead of prose, and the UI draws them.
Peek at an image, get booleans back: typed visual questions (choice, score, yes/no) with calibrated probabilities from a 500M VLM, ~400 ms on a MacBook - bykof/peekaboolean
An atmospheric 3D maze where JEV's route decisions come alive.
Jev is TypeSafe AI's decision model. Learn what state and typed questions mean, how its answers work, and where type safety ends.
Our own benchmark of typed-decision models: Jev, its open rebuilds and instruction models on the JevBench Score — Intelligence, Calibration, Speed and Cost, 25 % each, geometric mean.
Native MLX runtime for Laya typed decision models — 7–14 ms short decisions on M3 Max. No text generation, PyTorch, or cloud API. - mizorewww/laya-mlx
DuckDB extension: typed Jev answers as real SQL types - colliber/duckdb-jev
Under 120 MB. One forward pass returns typed, calibrated answers. By toolchain.studio.
Spreadsheets made for people in, typed, row-identified, versioned, governed tables to your agent, Excel in its original formatting back out. MCP, CLI, REST and SDKs.
The agent reports through a fixed set of typed blocks instead of prose, and the UI draws them.
The agent reports through a fixed set of typed blocks instead of prose, and the UI draws them.
The agent reports through a fixed set of typed blocks instead of prose, and the UI draws them.
Portable local probabilistic inference runtime. Contribute to bulyaki/Credence development by creating an account on GitHub.
Jev is the first in a new class of models that allow us to build LLM applications more efficiently and at lower cost. Typed questions in, typed answers with probabilities out.
An open-source, high-performance System One Model for one-pass typed decisions, with an embeddable C runtime and WebAssembly support. - sqliteai/blink
Moggi Compiler. Contribute to moggi-lang/moggi development by creating an account on GitHub.
The reference for building an app and its cloud as one typed program, with Effect, Alchemy, and a fence that raises the floor.
A strongly-typed, polyglot compiler. Contribute to morloc-project/morloc development by creating an account on GitHub.
Jev (TypeSafe System One) inner loop for ego-browser — one ~0.4s typed decision per DOM step instead of an LLM turn. Agent skill for ego lite. - ZephyrDeng/ego-jev
Gemma 3 4B as a Jev-style System One decision function: one forward pass, choice logits, softmax. Native Rust + Candle. No generate(). - zozo123/gemma-to-jev
Typed semantic decisions for pandas and Polars with TypeSafe Jev
Try the Jev AI Playground online, then learn how typed decisions, confidence, and structured AI outputs work.
Jev walks a real Pokémon FireRed ROM. Contribute to daniel4x/JevEmon development by creating an account on GitHub.
Your last chat with an AI holds the wreckage of a scorecard. Here’s how to recover it.
Local typed decisions, contrastive data curation, and model evaluation. - bespokelabsai/nimble
Build type-safe, real-time TypeScript applications from one server contract - leonardoventurini/typeferry
mamori is an open-source Go library that loads config and secrets from 30+ sources into typed, validated structs and keeps them reconciled at runtime.