Skip to content
View antoncoding's full-sized avatar
🥦
boba sin azúcar
🥦
boba sin azúcar

Organizations

@grappafinance

Block or report antoncoding

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results
Rust 12 2 Updated Aug 25, 2025
Python 10 6 Updated Aug 25, 2025

A pqSNARK with lightweight proofs, powered by the Whir PCS.

Rust 29 5 Updated Aug 27, 2025

📦 A curated list of resources, tools, articles, and discussions about Ethereum Object Format (EOF)

1 Updated Apr 7, 2025
Solidity 6 Updated Aug 8, 2025

Template for web3 fullstack apps

TypeScript 1 Updated Jul 21, 2025

This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generate zero knowledge proofs for any piece of software.

Rust 44 24 Updated Aug 25, 2025

Infinite adventures await!

Python 3,220 552 Updated Jul 25, 2020
Sage 2 Updated Jan 31, 2025

This repo includes Claude prompt curation to use Claude better.

3,303 337 Updated Aug 15, 2025

FULL v0, Cursor, Manus, Augment Code, Same.dev, Lovable, Devin, Replit Agent, Windsurf Agent, VSCode Agent, Dia Browser, Xcode, Trae AI, Cluely & Orchids.app (And other Open Sourced) System Prompts…

79,381 22,250 Updated Aug 27, 2025

JrDev is a free open-source AI developer assistant for the terminal. It provides CLI/TUI interfaces to interact with LLMs for code generation, project context management, and Git operations.

Python 63 5 Updated Aug 22, 2025

⚙️🦀 Build modular and scalable LLM Applications in Rust

Rust 4,284 466 Updated Aug 27, 2025
Solidity 8 4 Updated Jul 16, 2025

Tauri v2 & React v19 boilerplate for a modern desktop application. Not a project nor a substitute for my Tauri video tutorials.

TypeScript 272 44 Updated Jul 8, 2025

EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.

Solidity 43 18 Updated Aug 6, 2025

A modern desktop client for Claude AI with MCP server support, built with Tauri, React, and TypeScript.

TypeScript 27 12 Updated Dec 8, 2024

友伴(YouBand)是一款轻量、易用、跨平台的"LLM聊天机器人"桌面程序。支持QQ、微信、飞书等应用,可自由切换DeepSeek、Ollama、Qwen等大模型。让您的应用成为24小时待命的私人助理,用AI重新定义您的工作效率与生活体验。

Vue 98 18 Updated Apr 26, 2025

🥥 Coco AI App - Search, Connect, Collaborate, Personal AI Search and Assistant, all in one space.

TypeScript 531 54 Updated Aug 27, 2025

AI SYSTEMS TRANSPARENCY FOR ALL! - LEAKED SYSTEM PROMPTS FOR CHATGPT, GEMINI, GROK, CLAUDE, PERPLEXITY, CURSOR, WINDSURF, DEVIN, REPLIT, AND MORE!

9,576 1,989 Updated Aug 26, 2025
Solidity 6 2 Updated Jun 9, 2025

Verifiable insights into the maturity and risks of DeFi

TypeScript 20 45 Updated Aug 26, 2025

A forge library to run and debug Zama's fhevm

Solidity 1 Updated Dec 26, 2024

A Solidity library for interacting with fhevm.

TypeScript 495 100 Updated Jun 10, 2025

Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation

Solidity 129 53 Updated Oct 31, 2024

Making client-side proving on mobile simple.

Rust 188 82 Updated Aug 26, 2025

A standard contract library for the fhevm protocol.

TypeScript 20 7 Updated Apr 30, 2025

Integrate the DeepSeek API into popular softwares

33,648 3,734 Updated May 13, 2025

Meridian cuts through news noise by scraping hundreds of sources, analyzing stories with AI, and delivering concise, personalized daily briefs.

TypeScript 2,314 441 Updated May 30, 2025
Next