Starred repositories
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
🔍 导出并模糊搜索 Telegram 聊天记录 | Export and fuzzy search your Telegram chat history
A Ruby DSL for programmatically creating Buildkite pipelines.
Specification files for the Mesh Blockchain Standard
A high-throughput application layer on top of Mina Protocol using Cosmos SDK.
JDK main-line development https://openjdk.org/projects/jdk
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
A purely functional programming language with first class types
Monorepo for all subprojects and scripts related to release process in mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Effects-based direct-style IO for multicore OCaml
A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
Lock-free data structures for multicore OCaml
Show the internal dependencies in your OCaml/Reason/Dune project
magic-trace collects and displays high-resolution traces of what a process is doing
An alternative note-taking app designed specifically for BOOX e-ink devices
很多镜像都在国外。比如 gcr 。国内下载很慢，需要加速。致力于提供连接全世界的稳定可靠安全的容器镜像服务。