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.
2,235
repos tracked
175
surfaced this week
194
created < 30d
Python
top language
20 repos
-
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
-
Race-resistant root-bounded filesystem primitives for Node.js.
-
The dispatch doctor prescribes type stability
-
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
-
Call commands safely by checking them rigorously against an allow-list
-
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