davirain's repos on GitHub
Zig · 26 watchers
pi-mono-zig
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Swift · 16 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
Makefile · 5 watchers
graduate_program
This is graduate program of East China Normal University
Lean · 5 watchers
proof_forge
Lean 4 multi-target compiler: one portable program source → EVM, Solana, NEAR, Noir with fail-closed semantics (proof-forge-next)
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.
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
Rust · 0 watchers
hyper-grok-build
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
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
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