-
AIInfra Public
Forked from Infrasys-AI/AIInfraAIInfra（AI 基础设施）指AI系统从底层芯片等硬件，到上层软件栈支持AI大模型训练和推理。
Python Apache License 2.0 UpdatedJun 19, 2025 -
raft.tla Public
Forked from ongardie/raft.tlaTLA+ specification for the Raft consensus algorithm
TLA UpdatedFeb 18, 2025 -
-
CloudPaste Public
Forked from ling-drag0n/CloudPaste-old基于 Cloudflare Workers 的在线剪贴板和文件分享服务，支持 Markdown、密码保护、文件上传等功能
JavaScript MIT License UpdatedDec 29, 2024 -
braft Public
Forked from baidu/braftAn industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.
C++ Apache License 2.0 UpdatedDec 17, 2024 -
-
e9syscall Public
Forked from GJDuck/e9syscallA system call interception tool
Shell GNU General Public License v3.0 UpdatedDec 9, 2024 -
-
HUST-typst-template Public
Forked from werifu/HUST-typst-template华科毕业论文（本科）的 typst 模板
Typst MIT License UpdatedOct 2, 2024 -
leveldb Public
Forked from google/leveldbLevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
C++ BSD 3-Clause "New" or "Revised" License UpdatedAug 30, 2024 -
-
nvim Public
Forked from LunarVim/Launch.nvimpersonal neovim config
Lua GNU General Public License v3.0 UpdatedJun 11, 2024 -
reference Public
Forked from jaywcjlove/reference为开发人员分享快速参考备忘清单(速查表)
Dockerfile MIT License UpdatedJun 8, 2024 -
learntla-v2 Public
Forked from hwayne/learntla-v2Learn TLA+ for free! No prior experience necessary!
TLA Other UpdatedMay 25, 2024 -
rust-practice Public
Forked from rosedblabs/rust-practicesome tiny learning projects in Rust
Rust UpdatedMay 12, 2024 -
tla-web Public
Forked from will62794/spectacleWeb-based environment for exploring TLA+ specifications.
TLA MIT License UpdatedApr 20, 2024 -
-
tvbox-conf Public
Forked from gaotianliuyun/gaoFongMi影视和tvbox配置文件，如果喜欢，请Fork自用。使用前请仔细阅读仓库说明，一旦使用将被视为你已了解。
JavaScript UpdatedFeb 25, 2024 -
-
shared-lede Public
Forked from hugcabbage/shared-lede定制编译OpenWrt固件
Python MIT License UpdatedJan 23, 2024 -
-
chatGPT-shell-cli Public
Forked from 0xacx/chatGPT-shell-cliSimple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.
Shell MIT License UpdatedOct 16, 2023 -
-
tidb Public
Forked from pingcap/tidbTiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://tidbcloud.com/free-trial
Go Apache License 2.0 UpdatedOct 9, 2023 -
.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedSep 4, 2023 -
-
babyjson-demo Public
Forked from archibate/babyjson-demoEducation purpose C++17 JSON parser, teach you how to parsing string and numeric literials, as well as using std::variant and std::optional elegently.
C++ UpdatedMay 26, 2023 -
redis Public
Forked from redis/redisRedis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…
C BSD 3-Clause "New" or "Revised" License UpdatedMay 5, 2023 -
TheAlgorithms-Go Public
Forked from TheAlgorithms/GoAlgorithms and Data Structures implemented in Go for beginners, following best practices.
Go MIT License UpdatedMay 1, 2023 -
rocksdb Public
Forked from facebook/rocksdbA library that provides an embeddable, persistent key-value store for fast storage.
C++ GNU General Public License v2.0 UpdatedApr 19, 2023
{{ message }}