nomorevibe
Language: English
Sign inShare a project

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Developer tools★ 3,164+5

Rank 397TeaVM

Java bytecode AOT compiler

Translation pending

Developer tools★ 3,142

Rank 398Project N.E.K.O

An AI soulmate who watches, reads, listens, and plays by your side—with human-like memory and feelings that live in her bones. From desktop to pocket, from late-night games to lazy-scrolling feed, she

Other★ 3,140+1

Rank 400Natively

AI for interviews & meetings with live coding help, instant answers, and auto notes. Unlike Cluely or FinalRoundAI, invisible during your call — and completely free.

Productivity★ 3,129+4

Rank 401Robusta

Robusta groups thousands of alerts into a handful of real incidents, investigates them with full context, and remembers every result.

Developer tools★ 3,125

Rank 402spiceai

Add a real-time analytics node to your operational database. Spice is a portable, accelerated SQL query, search, and LLM-inference engine in Rust for data-grounded AI apps and agents.

Data★ 3,120+4

Rank 405DevinAPI

從 Windsurf 代理進化成 Devin 雲端代理 · 四协议 · 零依赖 · 无需二进位

Translation pending

Developer tools★ 3,116+1