bnsd55/jevmlx on GitHub
- Stars
- 59
- Forks
- 8
- Language
- Python
- License
- MIT
- Last push
- 23 Sep 2026
Read from GitHub on . Counts change daily.
bnsd55/jevmlx
Jev-style parallel constrained decisions for any MLX model on Apple Silicon. It takes a schema of booleans, enums and multi-selects, scores every allowed answer for every field in one forward pass, and assembles the JSON itself, so the output is valid by construction and every field carries a probability.
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
