1810 repositories with documented relationships and source evidence.
Safe-controls Chrome feed filter (v3.3.0) with TypeSafe Jev judgments, temporal topic mutes, repeat grouping, API usage panel with thrift mode, author pickers, transactional cosmetic picker with Undo, persist-first recovery, and six supported platforms including Wykop (beta). Zero runtime dependencies.
Python tool that classifies GitHub stars into existing GitHub Lists using TypeSafe Jev
Plain-English pull request checks powered by Jev. One condition, a minimum confidence, one check.
AI-powered pre-commit auditor backed by TypeSafe System One (Jev) — blocks secrets, vulns & low-quality code in ~300ms. 79-case test corpus at 100% accuracy.
Experiment: using TypeSafe Jev as a chatbot by choosing replies one letter or word at a time
Smart, dynamic AI filtering for X and YouTube feeds using Jev
이름으로 나이대를 맞히는 React 웹 (TypeSafe Jev)
Fake autoregressive language model powered by TypeSafe Jev
A bounded Jev risk check for Claude Code: eight risk axes, one request, one optional reinspection.
TUI Sandbox for Typesafe Jev API
Standalone TypeSafe Jev code-review CLI: typed decisions over a local git diff.
Configurable GitHub submission review and PR classification with TypeSafe Jev. No text-generation model.
Recursive semantic file search using TypeSafe Jev and fzf
Real-time Tetris versus Jev, a TypeSafe decision model — spins, garbage, B2B chains, and decisions prefetched a piece ahead
Turn any word into probability distributions over taste, material, scent, and shape. Powered by Jev.
Measure what Jev can actually do before you build on it. Graded findings, ruled-out candidates, and recipes with stop-conditions. 0 promotions — on purpose.
Ask typed questions about a text and branch on the answer. A shell front end for TypeSafe's Jev.
Open-source projects that provably call Jev, TypeSafe AI's System One model. Every entry links to the line of code that proves it. Refreshed daily.
A shipping inbox-control system that reconciles expected shipments with cases and verifies SI-to-BL decisions against source evidence for human sign-off. Built for the Averis x Monash Hackathon 2026.
A small detective escape room built with TypeSafe Jev, React, and Express.