LEAFERx

Zhe Ye's starred repositories

Auto-GPT

An experimental open-source attempt to make GPT-4 fully autonomous.

Language:PythonMIT147726 1566 1938

supabase

The open source Firebase alternative.

Language:TypeScriptApache-2.067422 502 3460

bubbletea

A powerful little TUI framework 🏗

Language:GoMIT24906 117 268

dragonfly

A modern replacement for Redis and Memcached

Language:C++NOASSERTION24211 163 974

rxdb

A fast, local first, reactive Database for JavaScript Applications https://rxdb.info/

Language:TypeScriptApache-2.020845 209 702

got

🌐 Human-friendly and powerful HTTP request library for Node.js

Language:TypeScriptMIT14009 110 1444

noodle

Open Source Education Platform

Language:TypeScriptAGPL-3.010979 84 76

keystone

The most powerful headless CMS for Node.js — built with GraphQL and React

Language:TypeScriptMIT8935 72 1620

dotbot

A tool that bootstraps your dotfiles ⚡️

Language:PythonMIT6855 62 245

remark42

comment engine

Language:GoMIT4716 62 630

electron-vite

Next generation Electron build tooling based on Vite 新一代 Electron 开发构建工具，支持源代码保护

Language:TypeScriptMIT2711 21 368

log.c

A simple logging library implemented in C99

Language:CMIT2522 53 19

waline

💬 A Simple, Safe Comment System

Language:JavaScriptGPL-2.02045 13 640

Web3Bugs

Demystifying Exploitable Bugs in Smart Contracts

Language:Solidity1439 31 20

pass-js

Apple Wallet Passes generating library for Node.JS

Language:TypeScriptMIT654 13 88

magi

A blazing fast OP Stack rollup client written in Rust

Language:RustAGPL-3.0579 21 65

GPTSecurity

塑造未来的安全领域智能革命

NOASSERTION538 9 17

solidity-docgen

Documentation generator for Solidity projects

Language:TypeScriptMIT432 7 148

ethereum-graph-debugger

Ethereum solidity graph plain debugger. To have the whole picture when debugging.

Language:TypeScriptGPL-3.0350 11 7

rattle

evm binary static analysis

Language:Python346 24 24

hexo-theme-A4

A hexo theme that looks like an A4 paper.

Language:JavaScriptMIT297 3 27

bold

Efficient, all-vs-all dispute protocol for Optimistic Rollups

Language:SolidityNOASSERTION106 24 5

foundry-template

An opinionated template for Foundry projects.

Language:Solidity74 3 5

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.

Language:HaskellNOASSERTION66 7 15

mpt-circuit

Language:RustMIT64 18 20

hexo-theme-murasaki

Yet another minimalist theme for Hexo. (EARLY DEV STAGE)

Language:Stylus52 2 1

Libra

Libra zero knowledge proof system

Language:C++Apache-2.045 5 2

zkevm-testvectors

Language:JavaScriptNOASSERTION25 50

Orion

Language:C++Apache-2.021 70

virgo-plus

An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.

Language:C++MIT14 1 2