Rank 61AxiomCode
Verifiable intelligence for AI software engineering. Everything starts with a formally grounded code graph.
50–1,999 stars · gains since the previous 8-hour cycle · updated every 8 hours · Methodology
8h + shows stars gained since the previous cycle · ★ shows total stars
Cycle Nov 11, 00:00 KST · next scheduled Nov 11, 08:00 KST
Verifiable intelligence for AI software engineering. Everything starts with a formally grounded code graph.
Dark mode, font size, RTL, TalkBack, network and GPS in one click. Layout Inspector in dp. An MCP server so Claude Code, Codex and Cursor can drive the emulator.
Stop living the same session twice. Self-hosted memory for any AI agent, across sessions, projects, and machines: one app for your Mac, PC or Linux desktop, or one binary on a server. Tracks what work
A coding agent CLI safety layer that blocks destructive git and filesystem commands and secret file access before execution.
Today's picks and trends from iFansClub.
BAMA: Build Any Mac App. Agent skills to research, clone, design, build, optimize, and test native macOS apps with Swift and SwiftUI.
A free AI assistant and survival library (1.5 million offline articles) that runs on your own computer, with no internet. Shows the source of every answer. Mac and Windows.
Your Spotify + YouTube Music library & daily mixes. Free and open source forever.
Continue your work in a new session without restating decisions, constraints, and progress.
AI translation
A SillyTavern-style text adventure Agent built on DeepSeek Harness (DSH), supporting candidate generation, conversational character card editing, script mode, and content extraction.
AI translation
A scalable, agentic-first, and HuggingFace-native RL framework for research (9k lines).
This is agentic hardware development with lawful, deterministic KiCad/STEP viewers, written in Bend.
AI translation
Javis OS is an Agentic AI that assists entrepreneurs in business tasks, helping them grow their work.
AI translation