davirain's repos on GitHub
Rust · 80 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 · 29 watchers
pz
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Swift · 20 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 · 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 · 2 watchers
classic_system
Interactive I Ching / Yijing systems-thinking atlas for Chinese classics, hexagrams, and digital humanities.
TypeScript · 1 watchers
blog
My Blog
1 watchers
cfg
my computer config file
Shell · 1 watchers
dev-lifecycle
Mirror of dev-lifecycle from Codeberg
Lean · 1 watchers
ProofForge
Lean 4 compiler profile: ordinary Lean defs to Solana sBPF and EVM Yul. Not a new contract language.
JavaScript · 0 watchers
aether
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.
Zig · 0 watchers
fx
Unix like coding agent
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.
Python · 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
proliferate
The open-source AI IDE for Claude Code, Codex, OpenCode, and more. Run agents in parallel, locally or in the cloud, and build reusable workflows.
Lean · 0 watchers
ProofForgeCommon
Shared ProofForge surface (Attr, Core, Crypto, Profile) for the ProofForgeEvm/Svm/Near/Psy target compilers
Lean · 0 watchers
ProofForgeEvm
Lean 4 → EVM compiler: mark contract entries with @[pf_entry], extract a checked IR from Lean sources, emit Yul, assemble to EVM bytecode via solc. EVM-only fork of ProofForge.
Lean · 0 watchers
ProofForgeNear
Lean 4 → NEAR Wasm compiler: mark contract entries with @[pf_entry], extract a checked IR from Lean sources, emit WAT, assemble to .wasm via pinned wat2wasm. near-sdk-style SDK (storage, NEP-141, promises, migrations) with near-sandbox on-chain gates. NEAR-only fork of ProofForge.
Lean · 0 watchers
ProofForgePsy
Lean 4 → PSY (DPN circuit) contract compiler — Psy single-target fork of ProofForge (psy-dpn-v1)
Lean · 0 watchers
ProofForgeSvm
ProofForge SVM: Lean 4 → Solana sBPF program compiler (SVM single-target fork of ProofForge)
Lean · 0 watchers
ProofForgeXrpl
Lean 4 → XRPL Wasm compiler: mark contract entries with @[pf_entry], extract a checked IR from Lean sources, emit WAT, assemble to .wasm via pinned wat2wasm. XRPL Bedrock local profile + XLS-0102 AlphaNet host names with pf deploy/call. XRPL-only fork of ProofForge.
Rust · 0 watchers
proof_ship
Native desktop app for local coding agents — plus on-device wallets and X Layer deploy. Rust, GPUI, no cloud account.
TypeScript · 0 watchers
ralph
Ralph is an autonomous AI agent loop that runs repeatedly until all PRD items are complete.
Racket · 0 watchers
rho
Pi-style hot-reloadable coding agent written in Rhombus. Minimal kernel; MCP, tools, dashboard, and sandbox load as extensions.
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