Dev
GitHub repos gaining traction - what high-signal users are starring and what's climbing the board, captured daily and enriched from GitHub. Raw material for spotting new tech and patterns worth building on.
3,195
repos tracked
105
surfaced this week
193
created < 30d
Python
top language
9 repos
-
An agent skill to discover TypeSafe Jev opportunities, design typed questions, and learn from recent community experiments.
-
Semantic ifs from open models, on a 3090 at home. Independent; not affiliated with Jev or TypeSafe.
-
JevK5: open-weight alternative to TypeSafe Jev. Typed decisions with probabilities in one forward pass; Apache-2.0 weights and code.
-
Calibrated 151M Non-Autoregressive Decision Engine beating TypeSafe Jev & Laya on LocalLLaMA/typed-decisions (77.10% acc, 0.0636 Brier, 0.0144 ECE)
-
A chatbot built on a model that cannot generate text (TypeSafe AI's Jev, driven autoregressively)
-
A self-hosted drop-in replacement for TypeSafe's jev, powered by GliFormer.
-
Batched single-token choice inference for open language models, compatible with TypeSafe
-
Computer use for about $0.0002 a step: OCR the screen, classify the next action with TypeSafe, click. macOS.
-
Add a decorator for dspy Signatures that automatically uses TypeSafe where relevant