Kensuke-Hinata

system-design

A resource to help you learn system design.

YoutubeDownloader

Downloads videos and playlists from YouTube

atlas

Manage your database schema as code

ravendb

ACID Document Database

chumsky

Write expressive, high-performance parsers with ease.

borgo

Borgo is a statically typed language that compiles to Go.

redka

Redis re-implemented with SQLite

pylyzer

A fast static code analyzer & language server for Python

octox

Unix-like OS in Rust inspired by xv6-riscv

Reading-and-comprehense-linux-Kernel-network-protocol-stack

linux内核网络协议栈源码阅读分析注释--带详尽中文分析注释以及相关流程分析调用注释，对理解分析内核协议栈源码很有帮助

xorstr

heavily vectorized c++17 compile time string encryption.

Books

自己收集的一些电子书籍

Linux101-docs

Linux 101 学生课程教材与讲义

futures-concurrency

Structured concurrency operations for async Rust

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

yantra

JavaScript Engine for .NET Standard

effective-rust-cn

Effective Rust 中文版

venndb

in memory Rust database to query your data like a Venn diagram

x

Extension of Go standard library

mini-rust-runtime

OI-Source

OI代码仓库、复习笔记、代码模板、本地Judger

pl0-compiler

PL/0 compiler

OJHaskell

Some online judge solutions in Haskell

ICPC-Templates

Templates for programming contests

PriML-lang

library_old

TopCoder

tarjan-kosaraju-why3-lean4

lengauer-tarjan-why3

puzzle

practice solving various puzzles with Haskell