-
awesome-typesafe-jev Public
Awesome Jev: a source-backed field guide to TypeSafe's System One model, with SDKs, live demos, agent tools, and independent evaluations.
-
zigrad Public
Forked from Marco-Christiani/ZigradA deep learning framework built on an autograd engine with high level abstractions and low level control.
-
pons Public
Proof Of Non-Spam for Bitcoin
-
madara Public
Modular stack to build Starknet based scaling engines written in Rust
-
awesome-ai-safety Public
A curated list of AI safety resources: alignment, interpretability, governance, verification, and responsible deployment of frontier AI systems.
-
ov-poc-standard Public
Forked from LFDT-ProofOfControl/ov-poc-standardThe Proof-of-Control Standard (PoC) is a catalogue of verifiable requirements for AI agent systems. https://github.com/LFDT-ProofOfControl/ov-poc-stand
Python Other UpdatedOct 8, 2026 -
Lensemble Public
Research stack for reproducible federated training and evaluation of action-conditioned JEPA world models.
-
openverification Public
Forked from AAI-Society/openverificationPython MIT License UpdatedOct 6, 2026 -
SoulSociety Public
Computation should arrive with a proof the user can verify.
Rust MIT License UpdatedOct 6, 2026 -
GenoLeWM Public
An action-conditioned JEPA world model for DNA, built on top of Carbon.
-
runway-rs Public
Unofficial Rust SDK for the Runway API
-
verifiable-gemma Public
Signed, auditable receipts for Gemma 4 inference. The provider commits to the execution trace; an auditor challenges random positions and verifies them on a CPU without the weights: Freivalds check…
-
heist-one Public
Observable browser stealth game: Jev makes typed guard judgments while deterministic code owns the world.
-
reachy-poker-face Public
A two-truths-and-a-lie game with probability-driven robot body language.
TypeScript MIT License UpdatedSep 29, 2026 -
kimchi Public
Forked from getkimchi/kimchiTerminal coding agent powered by Kimchi's multi-model orchestration
TypeScript Apache License 2.0 UpdatedSep 28, 2026 -
awesome-jev Public
Forked from AnotiaWang/awesome-decision-modelsA curated list of awesome Jev / TypeSafe System One applications, libraries, and resources.
Creative Commons Zero v1.0 Universal UpdatedSep 28, 2026 -
-
exitreceipt Public
Did the agent actually finish? Inspectable GLiNER2.5-Decide fine-tuning on task completion and evidence spans.
-
awesome-awesome Public
Forked from emijrp/awesome-awesomeA curated list of awesome curated lists of many topics.
Creative Commons Zero v1.0 Universal UpdatedSep 24, 2026 -
The definitive list of lists (of lists) curated on GitHub and elsewhere
Creative Commons Zero v1.0 Universal UpdatedSep 24, 2026 -
lejudge-jev-jepa Public
Natural-language constraints for JEPA world-model planning, judged by a decision model instead of an LLM.
-
awesome-lists Public
Forked from szabgab/awesome-listsThe awesome list of all the awesome lists
Perl Creative Commons Zero v1.0 Universal UpdatedSep 24, 2026 -
reachy-reflex Public
Realtime social attention and turn-taking for Reachy Mini.
TypeScript MIT License UpdatedSep 22, 2026 -
reachy-conscience Public
An inspectable action guard for LLM-driven Reachy Mini apps.
Python MIT License UpdatedSep 22, 2026 -
reachy-jev Public
Typed Jev decision primitives for Reachy Mini applications.
TypeScript MIT License UpdatedSep 22, 2026 -
abdelstark.github.io Public
Redirect legacy Awesome Jev Pages URLs to the current directory
-
worldforge Public
Harness framework to build world model based workflows for physical AI systems.
-
jev-benchmarks Public
Probability-aware evaluation for typed decision models: calibration, selective risk, latency, and reproducible benchmarks.
-
s1-rs Public
Typed System One layer for Rust (Choice/Score/Noul).
-
bicameral Public
Hybrid coding harness: System 2 writes, System 1 (Jev) runs reflexes.
{{ message }}