kigawas

cognitive-load

🧠 Cognitive Load is what matters

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

papyrus

Papyrus is a StarkNet full node written in Rust.

docker-mailserver

Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

openapi-ts

✨ Turn your OpenAPI specification into a beautiful TypeScript client

nethermind

A robust execution client for Ethereum node operators.

PancrePal-xiaoyibao

面向胰腺癌肿瘤患者的智能RAG平台

beerus

A stateless trustless Starknet light client in Rust 🦀

pack

背包问题九讲

Omost

Your image is almost there!

ango

innovation-support-smartcontract

🏆 2023年/トヨタ自動車 × 博報堂キースリー WEB3ハッカソン　最優秀賞 受賞

innovation-support-frontend

🏆 2023年/トヨタ自動車 × 博報堂キースリー WEB3ハッカソン　最優秀賞 受賞

tailscale

The easiest, most secure way to use WireGuard and 2FA.

unlock

Ʉnlock is a protocol for memberships built on a blockchain.

Shiro

📜 A minimalist personal website embodying the purity of paper and freshness of snow.

naiveproxy

Make a fortune quietly

ethernaut

Web3/Solidity based wargame

book

A book on all things Foundry, available at https://book.getfoundry.sh.

edgetunnel

Running V2ray inside edge/serverless runtime

epeius

Deploy Trojan using a Serverless approach

lean4

Lean 4 programming language and theorem prover

fe

Emerging smart contract language for the Ethereum blockchain.

motion

Open source, production-ready animation and gesture library for React

dioxus

Fullstack app framework for web, desktop, mobile, and more.

kysely

A type-safe typescript SQL query builder

frost

Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

Polkadex

An Orderbook-based Decentralized Exchange using the Substrate Blockchain Framework.

SearchGram

🔠 Telegram 中文聊天记录搜索机器人 Effortlessly search your Telegram chat history, including CJK languages, with fuzzy and typo-tolerant search capabilities.

grok-1

Grok open release