davirain's repos on GitHub
Rust · 71 watchers
hyper-grok-build
Hyper — unofficial multi-provider community build of Grok Build: a Rust terminal AI coding agent (TUI) supporting xAI Grok, Kimi Code, ChatGPT Codex, OpenAI, Anthropic, Z.AI & Ollama. 10-language localized UI, ACP editor integration, headless CI mode.
Zig · 25 watchers
pz
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Swift · 19 watchers
empty
AI Reading Companion for Deep Readers — spoiler-free EPUB/PDF reader with local AI, notes, vocabulary & cross-book memory. SwiftUI for macOS, iOS & iPadOS.
Lean · 11 watchers
proof_forge
Lean 4 multi-target compiler: one portable program source → EVM, Solana, NEAR, Noir with fail-closed semantics (proof-forge-next)
JavaScript · 10 watchers
liber
Rust · 7 watchers
nobody
solana cli for can rust call
Makefile · 5 watchers
graduate_program
This is graduate program of East China Normal University
Lean · 4 watchers
lean4
Lean 4 programming language and theorem prover
TypeScript · 1 watchers
blog
My Blog
1 watchers
cfg
my computer config file
TypeScript · 1 watchers
classic_system
Interactive I Ching / Yijing systems-thinking atlas for Chinese classics, hexagrams, and digital humanities.
Shell · 1 watchers
dev-lifecycle
Mirror of dev-lifecycle from Codeberg
TypeScript · 0 watchers
agent-arena
Decentralized AI Agent Task Marketplace on X-Layer — Agents compete, Judge scores on-chain, OKB auto-settled, reputation immutable forever.
TypeScript · 0 watchers
agentx
TypeScript · 0 watchers
ai-cast
🎙️ Decentralized AI Podcast Platform on Sui & Walrus. Article URL → AI Script → TTS Audio → On-chain Podcast. Built for AI agents.
Python · 0 watchers
atlas
JavaScript · 0 watchers
bas
0 watchers
chain-hub
Full-chain AI Agent service hub — one CLI for all blockchain protocols. Agents discover and use any on-chain service without API keys.
TypeScript · 0 watchers
daojia
TypeScript · 0 watchers
deep-sol
Amp plugin pairing GPT-5.6 Sol planning and review with DeepSeek V4 Flash implementation.
0 watchers
gc-minimal-zine-poster
Codex skill for generating quiet minimal zine-style editorial poster prompts and images.
TypeScript · 0 watchers
gradience_back
A peer-to-peer capability settlement protocol for the AI Agent economy. Escrow + Judge + Reputation.
TypeScript · 0 watchers
Hermes-Voice-Connect
Repository for https://replit.com/@davirainsu/Hermes-Voice-Connect
Zig · 0 watchers
http.zig
An HTTP/1.1 server for zig
Lean · 0 watchers
lean-agent
Lean 4 coding agent with native libcurl FFI, OpenAI-compatible providers, JSONL sessions, REPL, and OMP-style project extensions.
Shell · 0 watchers
lean4-skills
Lean 4 theorem proving skill and workflow pack for AI coding agents
Zig · 0 watchers
libvaxis
a modern tui library written in zig
C++ · 0 watchers
mlx-serve
Native LLM inference server for Apple Silicon. OpenAI + Anthropic API compatible. No Python. Includes MLX Core macOS app with chat, agent mode, and tool calling.
JavaScript · 0 watchers
modu
TypeScript · 0 watchers
ralph
Ralph is an autonomous AI agent loop that runs repeatedly until all PRD items are complete.
Rust · 0 watchers
sbpf
Bootstrap, build and deploy sBPF assembly programs with ease
Rust · 0 watchers
sbpf-linker
An upstream BPF linker for SBPF V0 programs
JavaScript · 0 watchers
sentry
TypeScript · 0 watchers
sitegeist
An AI assistant that lives in your browser. Built for collaboration, not autonomy theater. You guide, it executes. Automate repetitive web tasks, extract data from any website, and transform it into whatever you need.
davirain's recent timeline updates
davirainio.sol.build
DaviRain-Su
Select Language