☆110Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for vero
Users that are interested in vero are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 1v1 Jev quickscope arena — Three.js + TypeSafe System One☆42Sep 18, 2026Updated 3 weeks ago
- Stops AI coding agents from claiming work is done without evidence. Deterministic hooks decide, TypeSafe's Jev advises. Append-only ledge…☆123Sep 22, 2026Updated 3 weeks ago
- Fun terminal roster for Claude / Codex / Cursor / Grok rate limits☆55Oct 5, 2026Updated last week
- Camera-only autonomous drone in MuJoCo with a small judgment model (TypeSafe Jev) in the loop at 2.5Hz☆277Sep 24, 2026Updated 3 weeks ago
- Typesafe.ai System One Model Jev navigating a Neo4j graph by using a classifier over neighbouring relationships☆174Sep 18, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Nov 1, 2023Updated 2 years ago
- Codebase search powered by Jev from @typesafe-ai☆99Sep 16, 2026Updated last month
- A calibrated context sieve for Claude Code: every tool result is judged by a System One model before it enters context.☆111Oct 6, 2026Updated last week
- Self-hosted realtime voice gateway for Hermes Agent. Keep talking while Hermes runs background tasks through local, Gemini Live, and Open…☆78Updated this week
- ☆15Oct 21, 2020Updated 5 years ago
- 4814 live x.ai/bot shares for Grok Bot — curated catalog with shelf tiers, searchable Pages, bilingual README. Not a prompt dump.☆68Updated this week
- Library built for generating semantic layer graphs for query routing, query generation and data discovery☆147Updated this week
- Design a labeled property graph once. Generate LadybugDB DDL, Neo4j constraints, SHACL shapes and an OWL ontology from it. VS Code extens…☆37Oct 3, 2026Updated 2 weeks ago
- Scroll Video Website is a portable AI-agent skill that turns videos into smooth, scroll-controlled canvas experiences with optimized WebP…☆57Sep 4, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Neural theorem proving tutorial, version II☆39Apr 26, 2024Updated 2 years ago
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆25Oct 10, 2026Updated last week
- Open-source CLI & TUI to port AI coding sessions across Claude Code, Codex, and OpenCode.☆98Jul 29, 2026Updated 2 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 2 years ago
- ☆448Sep 17, 2026Updated last month
- A modern multi-system emulator and debugger written in Rust. Supports Windows, Linux, macOS, Browsers and mobile phones!☆100Updated this week
- Describe your startup idea. Jev decides: kill it, fix it or ship it.☆262Updated this week
- Cybersecurity Research & Offensive Security Platform☆63Oct 4, 2026Updated last week
- A calm agent multiplexer with familiar IDE features, for macOS, with an iPhone app.☆90Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- Typed semantic decisions for Unix pipelines and CI, powered by TypeSafe AI Jev.☆80Sep 16, 2026Updated last month
- ☆27Apr 16, 2026Updated 6 months ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated last month
- Shellph is a portable command-line utility designed to automate encryption and obfuscation of arbitrary shellcode. Named after my cat (Be…☆36Jul 20, 2026Updated 2 months ago
- ACRYL - Agent Context Relay Yielding Lifecycles. One persistent workspace, one canonical context, any coding agent.☆257Updated this week
- Your durable workspace across AI agents.☆134Updated this week
- Skill for Hermes, and other agents, to ask typesafe's jev☆41Sep 17, 2026Updated last month
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 3, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Astra planner and JEV controller for Minecraft, with native recording, tested routes, and run verification.☆589Sep 20, 2026Updated 3 weeks ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆30Dec 17, 2022Updated 3 years ago
- An open protocol for distributed multi-agent autoformalization.☆116Oct 1, 2026Updated 2 weeks ago
- How many bugs can LMs find & fix in large codebases?☆138Oct 9, 2026Updated last week
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Open-source Agent Skill that finds and removes AI slop from your writing☆137Updated this week
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago