- web3 world
- @niubob
Lists (7)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Makefile
- Markdown
- Mermaid
- Move
- Nim
- Nix
- Noir
- OCaml
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sail
- Shell
- Smarty
- Solidity
- Svelte
- SystemVerilog
- TeX
- TypeScript
- Vue
- WebAssembly
- Yacc
- Zig
- q
Privacy-first tooling for the Ethereum ecosystem
Privacy Pools by 0xbow is a compliant way to anonymously transact on Ethereum. 0xbow blocks illicit actors to ensure pool integrity.
Ethereum Proof-of-Burn circuits in Circom
An transformer based LLM. Written completely in Rust
Python tool for converting files and office documents to Markdown.
A high-performance algorithmic trading platform and event-driven backtester
navicat mac版无限重置试用期脚本 Navicat Mac Version Unlimited Trial Reset Script
This project has been migrated to OKX Labs Foundation. This project will be retained for one year and deleted after one year.
Compilation of awesome open-source Solana repositories on GitHub!
The Valida execution engine, prover, and verifier
TradingAgents: Multi-Agents LLM Financial Trading Framework
Model Context Protocol Servers
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
Rules and Knowledge to work better with agents such as Claude Code or Cursor
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.