-
QEDProtocol, PsyProtocol
- ShenZhen
-
05:03
(UTC +08:00)
Lists (3)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Cuda
- Dockerfile
- EJS
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- MDX
- Markdown
- Move
- Nim
- Nunjucks
- OCaml
- PHP
- Perl
- Python
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Standard ML
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Zig
Starred repositories
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Rudis is a high-performance in memory database
Block the keyboard input while you were eating instant noodles on your laptop keyboard.
Send files and folders anywhere in the world without storing in cloud - any size, any format, no accounts, no restrictions.
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
Terminal based IDE & text editor: easy, powerful and fast
Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
Run Rust files and expressions as scripts without any setup or compilation step.
A Decentralized Operating System for ZK Applications
🎉跨平台的剪贴板管理工具 | Cross-platform clipboard management tool
The free and privacy-friendly screen recorder with no limits 🎥
GPU-acceselerated cryptography libraries for ZKsync
Scala incremental compiler library, used by sbt and other build tools
A packet capture tool that efficiently captures network traffic and saves it to disk for storage, allowing users to query and analyze the captured data with high performance and reliability.
Safe arithmetic in Rust using a procedural macro. Write normal math expressions with automatic overflow checks. No panics, no boilerplate.
A cross-platform, safe, pure-Rust graphics API.
A minimal async executor that lets you block on a future