laya.cpp: Optimized laya near-instant decision making
A day of collection added ports, fine-tunes and trackers to the Jev/TypeSafe ecosystem, on top of curated lists that now carry 591, 541 and 388 GitHub stars.
TL;DR
- A single day of collection added roughly a dozen Jev/TypeSafe projects, led by a laya.cpp port, a Jev-style fine-tune of Qwen3.5 4B and a new gallery list at 94 stars.
- The three largest curated lists now carry 591, 541 and 388 GitHub stars (yibie/awesome-jev, v-modal/awesome-jev-tools, AbdelStark/awesome-typesafe).
- Community threads still ask what Jev is and whether TypeSafe's work derives from the Laya author's; the collected data does not resolve it.
Community-built tooling around Jev — TypeSafe AI's System One model for typed decisions — kept arriving. laya.cpp, a port billed as optimized near-instant decision making, and a Jev-style model fine-tuned on Qwen3.5 4B were both posted to r/LocalLLaMA on September 20. [1] [2]
Curated lists remain the most-starred entry point: yibie/awesome-jev at 591 stars, v-modal/awesome-jev-tools at 541 and AbdelStark/awesome-typesafe at 388. A newer gallery, OmniJev/awesome-jev-gallery, describes itself as papers, open reproductions and independent evaluations behind System One models and Jev, and carried 94 stars. [3] [4] [5] [6]
Infrastructure is the second wave. A per-turn Codex router that picks the model, thinking depth and speed mode had 86 stars; a 2 MB decision cache for Jev-class models had 52; a tracker calling itself the world's most comprehensive Jev ecosystem map claimed 220-plus documented cases rescanned every three hours; and a memory-recall filter that retrieves by relevance rather than resemblance had 25. An open-source alternative to Jev claims to give typed, calibrated decisions from any open-weights LLM in one forward pass. [7] [8] [9] [10] [11]
Definition and provenance questions persist. Threads ask what Jev is and what it is used for, and whether TypeSafe's work is derived from the Laya author's; a Hacker News post describes using Jev as a teacher to help a small language model write better stories, and another thread pits a fly brain against Jev. [12] [13] [14] [15]
Why it matters
Typed, calibrated decisions are a different interface than chat: they can be cached, routed and audited. If a small decision model becomes a standard layer, agent stacks get cheaper to compose and easier to verify.
Editor's note
The momentum here is community-made, not vendor-published: the collection is dominated by lists, caches and adapters, and the attribution question is flagged as unresolved rather than decided.