8000 vuvoth (rei) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View vuvoth's full-sized avatar

Block or report vuvoth

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause concurrent GC and 100% Emacs compatibil…

Rust 1,749 72 Updated Nov 6, 2026

An ACP (Agent Client Protocol) implementation in Emacs lisp as per https://agentclientprotocol.com

Emacs Lisp 177 46 Updated Oct 21, 2026

Sui development skills maintained by Mysten Labs

JavaScript 20 12 Updated Nov 6, 2026

Brings your favorite AI agents to Emacs, keeping you at home: familiar buffers and bindings, no terminal emulation. Powered by ACP.

Emacs Lisp 2,038 265 Updated Nov 6, 2026

TypeScript SDK for ACP clients and agents.

TypeScript 270 50 Updated Nov 2, 2026

A protocol for connecting any editor to any agent

Rust 4,591 475 Updated Nov 7, 2026

A simple, extensible LLM client for Emacs

Emacs Lisp 3,561 452 Updated Nov 5, 2026

MPC Protocols for the Stoffel framework

Rust 15 Updated Oct 22, 2026

Wormhole TypeScript SDK

TypeScript 84 96 Updated Oct 27, 2026

GLM-5: From Vibe Coding to Agentic Engineering

7,439 1,017 Updated Oct 15, 2026

A next-generation test runner for Rust.

Rust 3,384 181 Updated Nov 7, 2026

🤖 Just a command runner

Rust 36,599 867 Updated Nov 2, 2026

A Git-compatible VCS that is both simple and powerful

Rust 32,388 1,280 Updated Nov 7, 2026

Assimilate Emacs packages as Git submodules

Emacs Lisp 294 29 Updated Nov 1, 2026

Text-mode interface for git

C 13,376 675 Updated Oct 13, 2026

circom language server

Rust 21 2 Updated Aug 9, 2026

The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.

Rust 69 21 Updated Oct 26, 2026

The ZK Compression Protocol For Solana

Rust 339 103 Updated Oct 14, 2026

Mixnet for Ethereum

Rust 20 2 Updated Oct 26, 2026

Pashov Audit Group Skills

JavaScript 1,302 245 Updated Oct 21, 2026

Binary Proofs, Blazing Fast

Rust 206 60 Updated Nov 4, 2026
Rust 76 6 Updated Nov 6, 2026

A fast zero-knowledge proof system for key derivation and key encryption, for web and mobile.

Rust 3 Updated May 5, 2026

Symbolic and concrete EVM execution engine

Haskell 362 81 Updated Nov 7, 2026

Abseil Common Libraries (C++)

C++ 18,186 3,188 Updated Nov 7, 2026

A collection of 265 rules across 26 categories that AI coding agents can use to write idiomatic, fast, and safe Rust.

Python 676 76 Updated Jun 14, 2026

Functional programming in TypeScript

TypeScript 11,548 507 Updated Apr 20, 2026

Neovim support for the Lean theorem prover

Lua 619 63 Updated Nov 2, 2026

Emacs major mode for Lean 4

Emacs Lisp 142 45 Updated Oct 31, 2026

Simplicity Multisig

Rocq Prover 2 Updated Aug 29, 2026
Next
0