-
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/tla-webWeb-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 -
-
bustub-official Public
Forked from cmu-db/bustubThe BusTub Relational Database Management System (Educational)
C++ MIT License UpdatedFeb 21, 2023 -
MyTinySTL Public
Forked from Alinshans/MyTinySTLAchieve a tiny STL in C++11
C++ Other UpdatedJan 15, 2023 -
raft.tla Public
Forked from ongardie/raft.tlaTLA+ specification for the Raft consensus algorithm
TLA UpdatedAug 12, 2022