davirain's repos on GitHub
Rust · 34 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 · 26 watchers
pi-mono-zig
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Swift · 17 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.
JavaScript · 9 watchers
liber
Rust · 7 watchers
nobody
solana cli for can rust call
Lean · 7 watchers
proof_forge
Lean 4 multi-target compiler: one portable program source → EVM, Solana, NEAR, Noir with fail-closed semantics (proof-forge-next)
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
Python · 1 watchers
hermes-agent
The agent that grows with you
Rust · 1 watchers
rust-by-zig
Empowering everyone to build reliable and efficient software.
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
TypeScript · 0 watchers
awesome-mpp
The MPP registry — 100+ Machine Payments Protocol tools, SDKs, services, and payment methods across 15+ chains. The definitive directory for Stripe + Tempo agent payments.
Zig · 0 watchers
bento
A simple flexbox layout C library
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
claude-code
原汁原昧 Claude Code 可运行版; Bun 可编译执行版; Typescript 类型全修复; 企业级可靠性; 安全无毒, lock 文件保真, 可直接 bun i; bun run dev 启动
TypeScript · 0 watchers
clawsuite
All-in-one command center for OpenClaw agents
TypeScript · 0 watchers
daojia
Elixir · 0 watchers
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
C · 0 watchers
firedancer
Firedancer is Jump Crypto's Solana validator software.
0 watchers
gc-minimal-zine-poster
Codex skill for generating quiet minimal zine-style editorial poster prompts and images.
Go · 0 watchers
go
The Go programming language
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
Python · 0 watchers
kimi-cli
Kimi Code CLI is your next CLI agent.
Lean · 0 watchers
lean-agent
Lean 4 coding agent with native libcurl FFI, OpenAI-compatible providers, JSONL sessions, REPL, and OMP-style project extensions.
C · 0 watchers
libuv-zig
Cross-platform asynchronous I/O
Zig · 0 watchers
libvaxis
a modern tui library written in zig
C · 0 watchers
linux
Linux kernel source tree
C · 0 watchers
lua
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
Zig · 0 watchers
metrics.zig
Prometheus metrics for library and application developers
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.
Nu · 0 watchers
nurl
NURL - Neural Unified Representation Language is programming language for LLM's
TypeScript · 0 watchers
oh-my-pi
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
OCaml · 0 watchers
oxcaml
OCaml - Oxidized!
0 watchers
phoenix-v1
On-chain order book that atomically settles trades
Swift · 0 watchers
Planet
Build and host decentralized blogs and websites on your Mac
TypeScript · 0 watchers
ralph
Ralph is an autonomous AI agent loop that runs repeatedly until all PRD items are complete.
Zig · 0 watchers
roc
A fast, friendly, functional language.
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
davirain's recent timeline updates
davirainio.sol.build
DaviRain-Su
Select Language