- Singapore
Highlights
Stars
A tool for detecting common security vulnerabilities and insecure patterns in FRAME pallets using static program analysis techniques like data-flow analysis, abstract interpretation and symbolic ex…
The Parachain-Ready Template From Polkadot SDK
⭐️ A friendly language for building type-safe, scalable systems!
Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc. It’s an open-source, secure and ad-free.
Oblivion Desktop - Unofficial Warp Client for Windows/Mac/Linux
🦜🔗 Build context-aware reasoning applications
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
Implementation of the BLS12-381 pairing-friendly elliptic curve group
Arkworks extensions enabling customizable hooks for EC operations
A fast and secure RISC-V based virtual machine
High-performance, well-tested & documented core libraries for Ethereum, in Rust
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
📜 Smart contracts for the Axone protocol (powered by CosmWasm)
GPT 3.5/4 with a Chat Web UI. No API key required.
flashbots / mev-geth
Forked from ethereum/go-ethereumGo implementation of MEV-Auction for Ethereum
Discord faucet bot for any blockchain based Cosmos
Integritee node with TEE registry validating remote attestation