NullPo-jp/PocketJev on GitHub
- Stars
- 1
- Forks
- 0
- Language
- Swift
- License
- MIT
- Last push
- 17 Sep 2026
Read from GitHub on . Counts change daily.
NullPo-jp/PocketJev
Experimental SwiftUI iPhone app that turns a small vision-language model into an on-device multiple-choice decision tool, reading the next-token logits for A, B, C instead of generating an answer. The displayed percentages are relative scores among the supplied choices, not calibrated probabilities.
More like this
DSPy: programming, not prompting, language models
Declares typed input/output Signatures for LLM modules and optimizes the underlying prompts and weights against a metric. Its Signature abstraction is the closest widely-used open equivalent of Jev's typed-question interface. Star count is GitHub's rounded display figure.
trycua/cua
Cua's own family of small System 1 models for computer-use decisions, separate from TypeSafe's Jev. CUA-S1-FORMS is the first release, with weights and a dataset on Hugging Face.
Alternative
NandhaKishorM/laya
Decision model from Convai Innovations that fully fine-tunes an encoder and adds a typed-decision head: a 421M English checkpoint on ModernBERT-large and a 322M multilingual one on mmBERT-base, with a router picking between them by detected language. Returns choice, score and noul answers, and reports expected calibration error of 0.081 after temperature fitting, down from 0.466 as shipped.
Alternative
Outlines: structured outputs for LLMs
Guarantees valid structured output during generation by constraining decoding to a grammar or schema. The mechanism HN commenters repeatedly cited as already covering Jev's cannot-produce-a-type-error guarantee on ordinary LLMs. Star count is GitHub's rounded display figure.
Instructor: reliable JSON from any LLM
Pydantic-based library that extracts typed, validated structured data from LLMs across providers with automatic retries. The established way teams get Jev-style typed answers today, at LLM latency and cost. Star count is GitHub's rounded display figure.
jaredpalmer/kev
A family of small, self-hosted decision models built on Qwen3.5 at 0.8B, 4B and 9B, with training code and an API that matches TypeSafe's System One so TypeSafe's own Python SDK can point at a local server.
Alternative
