Vybe Guide
Sign Up

Explore Projects

Discover 2 open source projects

Active filters (1):
Search: quint×
Clear all

Showing 1-2 of 2 projects

informalsystems/quint

Quint is a formal specification language with delightful tooling for building verified software systems.

1.2K
Active
TypeScript
CLI Tools
API Frameworks
TypeScript
#formal-methods#specification#verification

m0n0x41d/quint-code

A structured reasoning framework for AI coding tools like Claude Code, Gemini, Cursor, and Codex.

1.2K
Active
Go
AI Coding Agents
LLM Frameworks
Go
#ai-agents#prompt-engineering#structured-reasoning

Stay in the loop

Get weekly updates on trending AI coding tools and projects.