EvoX Genesis
EvoX Genesis turns a high-level software objective into a persistent recursive software world: finite-lived agents recursively develop software, while only accepted consequences persist across develop
quint
Trending #16An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Developer toolsTypeScript · RustGitHub @quint-coSelf-installOwner unconfirmed
Open GitHub repository
Paste into Claude or ChatGPT for installation instructions suited to your environment.
View prompt
Have you tried it? One tap is enough. No sign-in needed.
- Access
- Self-install
- Runs in your environment
- Latest code update
- Nov 4
- Active repository
- Contributors
- 91
- Forks 155
- License
- GitHub auto-detection
- Listed on nomorevibe
- Nov 5
- Repository created May 2021
Languages
- TypeScript 65.9%
- Rust 16.7%
- Quint 15.3%
- ANTLR and others 2.1%
Updates2 in the last 30 days
All- v0.33.1GitHub release ↗
- evaluator/v0.7.1GitHub release ↗
- v0.33.0GitHub release ↗
Trending in Developer tools
GitHub star growth between the latest completed 8-hour observations
a13n
Build AI agents and run them on cloud.
Native Shell
Native Shell: AI-generated UI, native in your app, on every platform. Apps on iOS, Android, macOS, Windows and Linux, GPUI apps and web pages load signed, sandboxed TSX modules at run time and draw th
Comma
A free, open source personal AI agent that is always on, proactive and sessionless. Self-host your open source alternative to Muse, Dots, Instinct and Town.
uniTerm
uniTerm: a lightweight all-in-one terminal with a built-in AI Agent. 30+ protocols — SSH, Telnet, Mosh, RDP, VNC, SFTP, Serial, database, Kubernetes. | Lightweight all-in-one terminal software with a built-in AI Agent, supporting SSH, RDP, VNC, SFTP, database, K
AI translation