Data / Repositories / Typesafe
Typesafe repositories on GitHub: 18 ranked by stars
18 public repositories tagged Typesafe are on GitHub, with 9,357 stars between them; 18 had a push in the last 30 days. Most are written in Python (4), JavaScript (4), TypeScript (3). The most starred: http4k/http4k (2,791), ollaya-dev/ollaya (1,315), heyjunpenn/awesome-jev (963).
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 |
|---|---|---|---|---|---|---|---|
| http4k/http4k | The Functional toolkit for Kotlin HTTP applications. http4k provides a simple and uniform way to serve, consume, and test HTTP services. | Kotlin | 2,791 | 281 | Oct 8 | Oct 8 | |
| ollaya-dev/ollaya | Run open decision models locally: pull and serve Laya, decider, NLI and GLiClass behind a TypeSafe-compatible API. Ollama for decision models. | Rust | 1,315 | 80 | Apache-2.0 | Oct 14 | Oct 15 |
| heyjunpenn/awesome-jev | A verified, community-maintained catalog of 981 open-source projects built with Jev. | Astro | 963 | 72 | MIT | Oct 4 | Oct 15 |
| AnotiaWang/awesome-decision-models | A curated list of decision models (System One / typed decision models): hosted APIs, open-weight models, runtimes, SDKs, applications, benchmarks, and papers. | Python | 648 | 131 | CC0-1.0 | 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 |
| qybaihe/mu | mu (μ): a coding agent that thinks before it acts. A small, fast judge makes the routine calls, the big model does the work. Built on pi and AionUi. | TypeScript | 511 | 53 | MIT | Oct 10 | 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 | |
| wh000wh000/awesome-jev-live | Awesome Jev — evidence-graded index of TypeSafe System One: SDKs, MCP tools, agents, apps and open models. 20 languages, rebuilt every 2 hours. | Python | 319 | 14 | Oct 15 | Oct 15 | |
| fatwang2/awesome-jev | A source-backed Jev project directory with a reusable Jev-only GitHub review workflow. | JavaScript | 225 | 60 | MIT | 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 |
| valentynkit/awesome-jev-typesafe | Typed decisions with TypeSafe's Jev, the first System One model | JavaScript | 193 | 56 | 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 | ||
| Avinash-jetwani/jevmem | jevmem saves the decisions, rules and failed approaches from your Claude Code chats to JEVMEM.md in your repo, and brings the relevant ones back next session. | TypeScript | 123 | 10 | MIT | Oct 15 | Oct 15 |
| GhalebDweikat/winnow | A calibrated context sieve for Claude Code: every tool result is judged by a System One model before it enters context. | Python | 110 | 14 | MIT | Oct 6 | Oct 15 |
| PerryLink/jevcore | TypeSafe Jev for DeepSeek Harness, the Model Context Protocol, and plain Node: typed judgments instead of prose, offline by default. | TypeScript | 109 | 1 | Apache-2.0 | Oct 9 | Oct 15 |
| openlayer-ai/jevals | Agent evals and guardrails as Jev decisions: one request per trace, a fraction of a cent, fast enough for the agent loop. Runs locally with Kev or Laya. | Python | 105 | 11 | MIT | Oct 15 | Oct 15 |
| robokrunch/awesome-jev | A curated list of resources for Jev — TypeSafe AI's System One decision model. Maintained by RoboKrunch. | 3 | 3 | CC0-1.0 | Oct 14 | Oct 14 |
By language
Related topics
- Jev 17
- Awesome list 11
- AI agents 8
- LLM 8
- System one 8
- Developer tools 5
- Typesafe AI 5
- MCP 5
- Claude Code 4
- Calibration 3
- Curated list 3
- Machine learning 2
Read from GitHub by SpecStream between October 8, 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.