Data / Repositories / Typesafe AI
Typesafe AI repositories on GitHub: 12 ranked by stars
12 public repositories tagged Typesafe AI are on GitHub, with 17,010 stars between them; 12 had a push in the last 30 days. Most are written in Python (5), JavaScript (3), HTML (1). The most starred: OpenByteInc/QuantDinger (12,781), logicrw/awesome-jev-projects (682), kydlikebtc/awesome-jev (601).
SpecStream is the live web data engine for teams and agents. It reads open-source repositories on GitHub and keeps what it reads, and this page groups that reading by topic. Ask for the repositories you track by topic, language, license or activity, and new ones and changes arrive in your sheet, CRM, Slack or agent.
Every repository, most starred first
| Repository | What it is | Language | Stars | Forks | License | Last push | Read |
|---|---|---|---|---|---|---|---|
| OpenByteInc/QuantDinger | Open-source AI Trading OS, agent trading, and vibe trading, with Jev System One integration. Research, build Python strategies, backtest, and paper/live trade across crypto… | Python | 12,781 | 2,611 | Apache-2.0 | Oct 9 | Oct 14 |
| logicrw/awesome-jev-projects | Awesome Jev: source-backed open-source ecosystem radar, plain-language project discovery, and automatic GitHub sync | JavaScript | 682 | 60 | MIT | Oct 15 | Oct 15 |
| kydlikebtc/awesome-jev | 1207 public resources for Jev, TypeSafe AI's System One decision model, indexed by decision pattern. Source citations, dated link checks and scheduled call-site text checks… | Python | 601 | 25 | Oct 15 | Oct 15 | |
| AbdelStark/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. | HTML | 592 | 153 | MIT | Oct 14 | Oct 15 |
| cobanov/awesome-jev | A curated, source-backed list of projects built with Jev, TypeSafe AI's System One model for typed decisions. | 553 | 131 | CC0-1.0 | Oct 15 | Oct 15 | |
| OmniJev/awesome-jev-gallery | Awesome Jev: open-source models, projects, benchmarks, and independent evaluations for Jev and System One models. | JavaScript | 507 | 36 | Oct 15 | Oct 15 | |
| walidboulanouar/awesome-jev-use-cases | Awesome list of TypeSafe AI Jev use cases: 74 demos ranked by likes, 150+ GitHub repos, limits, cost and API examples. CC0 | 433 | 70 | CC0-1.0 | Sep 26 | Oct 15 | |
| Amal-David/awesome-jev | Jev demos, projects, SDKs and skills, with source links and a curated X gallery. | Python | 237 | 23 | CC0-1.0 | Oct 15 | Oct 15 |
| hellogumbo/awesome-jev | A community directory of projects built on Jev, TypeSafe AI's System One model. | JavaScript | 221 | 73 | CC0-1.0 | Oct 15 | Oct 15 |
| kraayenjon/awesome-jev | A curated list of Jev use cases, projects, SDKs, and resources. Jev is TypeSafe AI's System One model for fast, typed decisions in software — Choice, Score, and Noul with… | 189 | 43 | Sep 27 | Oct 15 | ||
| Heman10x-NGU/Verdict-open-jev | Non-autoregressive decision engine on ModernBERT (151M) with calibrated uncertainty (RLCD), TypeSafe AI Jev benchmark audit, and in-browser WebGPU playground | Python | 110 | 14 | Sep 28 | Oct 15 | |
| AppitStudio/awesome-jev | Curated Jev resources and runnable examples for typed AI decisions. | Python | 104 | 20 | Oct 15 | Oct 15 |
By language
- Python 5
- JavaScript 3
Related topics
- Jev 12
- Awesome list 10
- System one 7
- LLM 6
- AI agents 5
- Typesafe 5
- Developer tools 4
- Decision model 3
- Calibration 3
- MCP 3
- Agents 2
- Agent skills 2
Read from GitHub by SpecStream between October 14, 2026 and October 15, 2026; each row shows the day its repository was read. Stars and pushes change every day, and the GitHub page is the current one. Forks and archived repositories are left out.