codedump (lichuang)

lichuang

Geek Repo

Location:Guangzhou

Home Page:https://www.codedump.info

Twitter:@lichuang

Github PK Tool:Github PK Tool

codedump's repositories

databend

An elastic and reliable Serverless Data Warehouse, offers Blazing Fast Query and combines Elasticity, Simplicity, Low cost of the Cloud, built to make the Data Cloud easy

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

running_page

Make your own running home page

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

eopl

My solutions of EOPL

Language:RacketStargazers:0Issues:0Issues:0

latex-tikz-sample

latex tikz samples

Language:TeXStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

lichuang.github.io

lichuang.github.io

Language:HTMLLicense:Apache-2.0Stargazers:10Issues:0Issues:0

TAPL

types-and-programming-languages

Language:OCamlLicense:MITStargazers:2Issues:0Issues:0
Language:RustStargazers:1Issues:0Issues:0
Language:TeXLicense:CC-BY-4.0Stargazers:50Issues:0Issues:0

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

License:MITStargazers:0Issues:0Issues:0

hugo-eureka

Eureka is a feature-rich and highly customizable Hugo theme.

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:0Issues:0

nvim-config

A pretty epic NeoVim setup

Language:LuaLicense:GPL-3.0Stargazers:1Issues:0Issues:0

streaming_algorithms

Performant implementations of various streaming algorithms, including Count–min sketch, Top k, HyperLogLog, Reservoir sampling.

License:Apache-2.0Stargazers:0Issues:0Issues:0

pdatastructs.rs

Simple probabilistic data structures

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C++License:Apache-2.0Stargazers:3Issues:0Issues:0
Language:ClojureLicense:NOASSERTIONStargazers:0Issues:0Issues:0

storage-paper-reading-cn

存储(分布式、存储引擎等)领域相关的论文阅读笔记

Stargazers:182Issues:0Issues:0

libraft

C++ raft lib

Language:C++License:Apache-2.0Stargazers:126Issues:0Issues:0

opencache

Cache server :)

License:Apache-2.0Stargazers:0Issues:0Issues:0

rust-hyperloglog

A HyperLogLog implementation in Rust.

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

hugo-theme-even

🚀 A super concise theme for Hugo https://hugo-theme-even.netlify.app

Language:SCSSLicense:MITStargazers:0Issues:0Issues:0

openraft

rust raft with improvements

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hugo-theme-texify

A minimal, latex-style hugo theme for personal blogging

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

wezterm

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

md

✍ WeChat Markdown Editor | 一款高度简洁的微信 Markdown 编辑器:支持 Markdown 语法、色盘取色、多图上传、一键下载文档、自定义 CSS 样式、一键重置等特性

License:WTFPLStargazers:0Issues:0Issues:0

monoio

Rust async runtime based on io-uring.

License:Apache-2.0Stargazers:0Issues:0Issues:0