Stars
- All languages
- Blade
- C
- C#
- C++
- CSS
- Clojure
- Common Workflow Language
- Coq
- Erlang
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- Makefile
- Markdown
- Mustache
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- Protocol Buffer
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Swift
- TLA
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Wikitext
- Wren
A rule based shadowsocks proxy with GUI for Mac base on clash.
A fast, reliable, and modular ERC-4337 Bundler written in Go.
A modular typescript implementation of ERC4337 (Account Abstraction) bundler client.
ERC-4337 (Account Abstraction) - modular and efficient bundler implementation in Rust.
A performant, reliable, and type-safe ERC-4337 Bundler written in Typescript
Github.com/CryptoSignal - Trading & Technical Analysis Bot - 4,100+ stars, 1,100+ forks
Awesome crypto trading bots
AI workflows generated with natural language
Occlum is a memory-safe, multi-process library OS for Intel SGX
AI Native Data App Development framework with AWEL(Agentic Workflow Expression Language) and Agents
A zkSNARK tutorial and development environment
articles, codes and tools all about zero-knowledge proofs
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
node-real / bsc-erigon
Forked from erigontech/erigonEthereum implementation on the efficiency frontier
Noir is a domain specific language for zero knowledge proofs
Zero-Knowledge Proof Systems Circuit Compiler