abdel

abdel

Head of Applied AI & Verifiable Intelligence.

GitHub 284 repos 1.0k followers

Explained projects

Yet to be explained

awesome-typesafe-jev
Awesome Jev: a source-backed field guide to TypeSafe's System One model, with SDKs, live demos, agent tools, and independent evaluations.
HTML572 stars
Explain
jev-benchmarks
Probability-aware evaluation for typed decision models: calibration, selective risk, latency, and reproducible benchmarks.
Python23 stars
Explain
lejudge-jev-jepa
Natural-language constraints for JEPA world-model planning, judged by a decision model instead of an LLM.
Python10 stars
Explain
heist-one
Observable browser stealth game: Jev makes typed guard judgments while deterministic code owns the world.
TypeScript8 stars
Explain
bicameral
Hybrid coding harness: System 2 writes, System 1 (Jev) runs reflexes.
TypeScript8 stars
Explain
exitreceipt
Did the agent actually finish? Inspectable GLiNER2.5-Decide fine-tuning on task completion and evidence spans.
Python4 stars
Explain
verifiable-gemma
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 checks, exact decode, Merkle-bound traces. CommitLLM protocol.
Python1 stars
Explain
abdelstark.github.io
Redirect legacy Awesome Jev Pages URLs to the current directory
HTML1 stars
Explain
s1-rs
Typed System One layer for Rust (Choice/Score/Noul).
Rust1 stars
Explain
typesafe-rs
Latency-first Rust SDK for TypeSafe System One.
Rust1 stars
Explain
togezer
TypeScript0 stars
Explain
reachy-conscience
An inspectable action guard for LLM-driven Reachy Mini apps.
Python0 stars
Explain
reachy-poker-face
A two-truths-and-a-lie game with probability-driven robot body language.
TypeScript0 stars
Explain
reachy-reflex
Realtime social attention and turn-taking for Reachy Mini.
TypeScript0 stars
Explain
reachy-jev
Typed Jev decision primitives for Reachy Mini applications.
TypeScript0 stars
Explain