davirain's repos on GitHub
Rust · 79 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 · 21 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 · 3 watchers
classic_system
Interactive I Ching / Yijing systems-thinking atlas for Chinese classics, hexagrams, and digital humanities.
Lean · 3 watchers
ProofForge
Lean 4 compiler profile: ordinary Lean defs to Solana sBPF and EVM Yul. Not a new contract language.
TypeScript · 1 watchers
agent-arena
Decentralized AI Agent Task Marketplace on X-Layer — Agents compete, Judge scores on-chain, OKB auto-settled, reputation immutable forever.
TypeScript · 1 watchers
blog
My Blog
1 watchers
cfg
my computer config file
1 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.
Shell · 1 watchers
dev-lifecycle
Mirror of dev-lifecycle from Codeberg
Lean · 1 watchers
ProofForgeSvm
ProofForge SVM: Lean 4 → Solana sBPF program compiler (SVM single-target fork of ProofForge)
JavaScript · 0 watchers
aether
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
TypeScript · 0 watchers
daojia
TypeScript · 0 watchers
deep-sol
Amp plugin pairing GPT-5.6 Sol planning and review with DeepSeek V4 Flash implementation.
Swift · 0 watchers
dreader
Native macOS AI E-Reader crafted in Swift 6, SwiftUI & WebKit with local ACP Agent integration
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
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
davirain's recent timeline updates
davirainio.sol.build
DaviRain-Su
Select Language