system1

Typed decisions with TypeSafe's Jev, the first System One model

The calculator software for WacOS/BaSYS. Part of the WacOS operating system project.

Gottlieb System 1 Pinball LED Displays to replace older vacuum style Gottlieb displays. PinballWiz.org 2025

Not an LLM. Teach bounded decision skills from examples or observed APIs, validate, then run and save them locally. Optional MLX acceleration.

⚡ Foq — the local, open-source alternative to Jev: typed decisions in ~25 ms, 100% local, 2.2 GB model. foq.fr

Gottlieb System 80 Pinball LED Displays to replace older vacuum style Gottlieb displays. PinballWiz.org 2026

Gottlieb System 1/80 Pinball MA55 Sound Board synthesized on an ANTMINER S9 ZYNQ-7010 FPGA Board.

Fast reflex layer (System 1) for coding agents — OpenCode plugin: stuck detection, progress, tool risk, completion, context relevance. Deterministic first, no LLM in the loop.