leauny Goto Github PK

.nvim

A launch point for your personal nvim configuration

babyjson-demo

Education purpose C++17 JSON parser, teach you how to parsing string and numeric literials, as well as using std::variant and std::optional elegently.

bustub-official

The BusTub Relational Database Management System (Educational)

chat

ChatGPT in command line

chatgpt-shell-cli

Simple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.

gopractice

learntla-v2

Learn TLA+ for free! No prior experience necessary!

leauny.github.io

leauny's github pages

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

linux

Linux kernel source tree

miniob

modulo

mytinystl

Achieve a tiny STL in C++11

nvim

personal neovim config

raft.tla

TLA+ specification for the Raft consensus algorithm

redis

Redis 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, Bitmaps.

reference

为开发人员分享快速参考备忘清单(速查表)

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

shared-lede

定制编译OpenWrt固件

thealgorithms-go

Algorithms and Data Structures implemented in Go for beginners, following best practices.

tidb

TiDB 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

tla-web

Web-based environment for exploring TLA+ specifications.

tools

tvbox-conf

FongMi影视和tvbox配置文件，如果喜欢，请Fork自用。使用前请仔细阅读仓库说明，一旦使用将被视为你已了解。