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
32 repos
-
Simple, safe way to store and distribute tensors
-
Call commands safely by checking them rigorously against an allow-list
-
Race-resistant root-bounded filesystem primitives for Node.js.
-
Race-resistant process identity, supervision and service primitives for Node.js.
-
The dispatch doctor prescribes type stability
-
Practices for improving quality and manageability of LLM co-created code-bases.
-
Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
-
Ungoverned Sins and Agentic Alignment — code & data for ICMI Working Paper No. 25 (sin vs. safety policy in frontier models)
-
A super Chrome extension I made that's safer than installing external malware/spyware-filled extensions that form a massive security risk, this one is open source and you can read and check the source code (with AI) before you install it, and customize it to your liking!
-
Safer and easier SIMD
-
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
-
Concurrent-safe Jupyter KernelClient
-
Computer use for about $0.0002 a step: OCR the screen, classify the next action with TypeSafe, click. macOS.
-
Execution assurance agent guard and observability for autonomous AI operating in production.
-
Add a decorator for dspy Signatures that automatically uses TypeSafe where relevant
-
Visualizer for neural network, deep learning and machine learning models
-
Lobster is a Openclaw-native workflow shell: a typed, local-first “macro engine” that turns skills/tools into composable pipelines and safe automations—and lets Openclaw call those workflows in one step.
-
Safe(ish) running of python code
-
Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
-
A intentionally dumb message board that uses HTTP GET requests. Meant for alignment research that requires elicitation of message-board-using agents.
-
Classes/structs, pattern matching, safe counters... and more! Your one-stop library for programming tools not already in core Typst.
-
A borrow checker for Julia
-
Exo is an agent + harness architecture that is fully recursive, able to safely edit all aspects of itself at runtime to get better at your tasks.
-
A simple evaluation of generative language models and safety classifiers.
-
Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CI
-
Open One-Stop Moderation Tools for Safety Risks, Jailbreaks, and Refusals of LLMs