Iinanna-malickSDKs & clients

jev-dsl

Agent-first Haskell DSL for TypeSafe's Jev judgment model: typed packets, inferred types, answers under the same labels

Explore repository

How it uses Jev

Typed semantic queries for Haskell, using TypeSafe’s Jev. Ask whether evidence supports a claim, select a candidate, or route a reply into an authored continuation. The answers retain the Haskell values you supplied: rows, domain values, functions, or actions.

Source: community catalog. Details and metrics reflect the published community snapshot and are not a performance endorsement. Documentation details extracted from GitHub · the README.

Keep exploring

Similar to jev-dsl

Browse all
jev4k project preview

jev4k

SDKs & clients
A Kotlin DSL and client for TypeSafe's Jev model
PMade bypambrose5
TypeSafe JavaScript SDK project preview

TypeSafe JavaScript SDK

Official
Official TypeScript/JavaScript client with inferred answer types. npm install @typesafe-ai/sdk.
TMade bytypesafe-ai232
typesafe-rs project preview

typesafe-rs

SDKs & clients
Latency-first Rust SDK for TypeSafe System One.
AMade byAbdelStark1
qualm project preview

qualm

SDKs & clients
Typed decisions from a System One model. An uncertain answer is a different type from a confident one — and the compiler makes you handle it.
QMade byqddegtya1
x-scanner project preview

x-scanner

Browser & computer use
Chrome extension that labels every post you scroll past on X with typed Jev judgments and a live cost counter
OMade byoso9517
jlink project preview

jlink

Applications
Links records under a plain-English match rule using Jev Noul pair judgments, with local candidate blocking and match resolution.
KMade bykeltokhy4
LitJev project preview

LitJev

Benchmarks & research
A reproduction of Jev that turns any Qwen model into a fast decision model, serving the same /v1/systemone schema (Choice, Score, Noul) with no training and no generated answer text.
ZMade byzhengxuyu43

TypeSafe Typewriter

Demos & playgrounds
Val Town demo where 16 typed judgments update live as you type.
CMade byCommunity contributor
gpt-vs-jev project preview

gpt-vs-jev

Demos & playgrounds
Compare GPT generated language with JEV structured Noul decisions on the same input.
TMade byTanayPadar1