Kensuke-Hinata

go-study-index

Go 语言学习资料索引

go-daily-lib

Go 每日一库

granian

A Rust HTTP server for Python applications

TCP-IP-NetworkNote

📘《TCP/IP网络编程》(韩-尹圣雨)学习笔记

Cpp-Concurrency-in-Action-2ed

C++11/14/17/20 multithreading, involving operating system principles and concurrent programming technology.

cs431

goderive

Derives and generates mundane golang functions that you do not want to maintain yourself

gostl

Data structure and algorithm library for go, designed to provide functions similar to C++ STL

gopherdaily

the archive of gopher daily articles

flamego

A fantastic modular Go web framework with a slim core but limitless extensibility

prsqlite

Pure Rust implementation of SQLite

goloader

load and run golang code at runtime.

concoct

A reactive runtime for embedded systems in Rust

oi

NOIP, NOI, IOI

fervid

All-in-One Vue compiler written in Rust

dead

dead simple python dead code detection

Toy

A toy programming language.

cs220

pythonize

itlib

A collection of std-like single-header C++ libraries

cpp-tutor

Code examples for tutoring modern C++

rust-cc

A C Compiler/Parser written in Rust

papers-notebook

📄 🇨🇳 papers I have read

LKCompiler

small a compiler

theorem_proving_in_lean4_zh_CN

Lean4中文教程

pp202302

Programming Principles, SNU 4190.210, 2023 Fall

range_map_vec

A Rust crate that implements a range map data structure backed by a Vec.

dyno

Rust dynamic objects

pluto-lang

A language with a strange function syntax.

integer_complexity

Algorithms for computing the integer complexity.