Skip to content
View leauny's full-sized avatar
5 followers · 18 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report leauny

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • leveldb Public

    Forked from google/leveldb

    LevelDB 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 Updated Aug 30, 2024

  • cpp-code-interview-template Public

    CMake Updated Aug 23, 2024

  • nvim Public

    Forked from LunarVim/Launch.nvim

    personal neovim config

    Lua GNU General Public License v3.0 Updated Jun 11, 2024

  • reference Public

    Forked from jaywcjlove/reference

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

    Dockerfile MIT License Updated Jun 8, 2024

  • learntla-v2 Public

    Forked from hwayne/learntla-v2

    Learn TLA+ for free! No prior experience necessary!

    TLA Other Updated May 25, 2024

  • rust-practice Public

    Forked from rosedblabs/rust-practice

    some tiny learning projects in Rust

    Rust Updated May 12, 2024

  • tla-web Public

    Forked from will62794/tla-web

    Web-based environment for exploring TLA+ specifications.

    TLA MIT License Updated Apr 20, 2024

  • Modulo Public

    Forked from Kaelus/Modulo
    Updated Mar 25, 2024

  • tvbox-conf Public

    Forked from gaotianliuyun/gao

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

    JavaScript Updated Feb 25, 2024

  • tools Public

    Shell Updated Jan 24, 2024

  • shared-lede Public

    Forked from hugcabbage/shared-lede

    定制编译OpenWrt固件

    Python MIT License Updated Jan 23, 2024

  • leauny.github.io Public

    leauny's github pages

    Updated Jan 19, 2024

  • dm-docker Public

    Dockerfile Updated Dec 25, 2023

  • miniob Public

    C++ 4 Mulan Permissive Software License, Version 2 Updated Nov 22, 2023

  • chatGPT-shell-cli Public

    Forked from 0xacx/chatGPT-shell-cli

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

    Shell MIT License Updated Oct 16, 2023

  • gopractice Public

    Go Updated Oct 9, 2023

  • tidb Public

    Forked from pingcap/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

    Go Apache License 2.0 Updated Oct 9, 2023

  • .nvim Public

    Forked from nvim-lua/kickstart.nvim

    A launch point for your personal nvim configuration

    Lua MIT License Updated Sep 4, 2023

  • linux Public

    Forked from torvalds/linux

    Linux kernel source tree

    C Other Updated Jul 9, 2023

  • babyjson-demo Public

    Forked from archibate/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.

    C++ Updated May 26, 2023

  • redis Public

    Forked from redis/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,…

    C BSD 3-Clause "New" or "Revised" License Updated May 5, 2023

  • TheAlgorithms-Go Public

    Forked from TheAlgorithms/Go

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

    Go MIT License Updated May 1, 2023

  • rocksdb Public

    Forked from facebook/rocksdb

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

    C++ GNU General Public License v2.0 Updated Apr 19, 2023

  • chat Public

    Forked from changkun/chat

    ChatGPT in command line

    Go MIT License Updated Mar 17, 2023

  • bustub-official Public

    Forked from cmu-db/bustub

    The BusTub Relational Database Management System (Educational)

    C++ MIT License Updated Feb 21, 2023

  • MyTinySTL Public

    Forked from Alinshans/MyTinySTL

    Achieve a tiny STL in C++11

    C++ Other Updated Jan 15, 2023

  • raft.tla Public

    Forked from ongardie/raft.tla

    TLA+ specification for the Raft consensus algorithm

    TLA Updated Aug 12, 2022