A general-purpose semantic systems programming language. Describe a system once; real compilers lower the same source into engine builds, backend services, robots, web runtimes, and headset apps. Not a scripting language.
AISW | AI Switcher - Switch between multiple Claude Code, Codex CLI, Antigravity and Gemini CLI accounts in one command. Named profile manager for AI coding agents.
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
A CLI for AI agents to query market data — real-time quotes, K-line history, intraday minutes, and stock search for A-shares, HK, US stocks, indices, and funds. Structured output built for LLM tool use.
A powerful CLI tool that brings AI assistance directly to your terminal. Gokin understands your codebase and helps with file operations, code search, shell commands, git workflows, task management, and more - all through natural language.