Kensuke-Hinata

go-study-index

Go 语言学习资料索引

expr

Expression language and expression evaluation for Go

go-daily-lib

Go 每日一库

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

gopherdaily

the archive of gopher daily articles

jacobin

A more than minimal JVM written in Go and capable of running Java 17 classes.

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

dead

dead simple python dead code detection

Toy

A toy programming language.

cs220

pythonize

cpp-tutor

Code examples for tutoring modern C++

faststr

`faststr` is a string library that try to avoid the cost of clone.

inside-c

The Secret Life of C++: How C++ Compiles to Assembly

papers-notebook

📄 🇨🇳 papers I have read

LKCompiler

small a compiler

MiniCompiler

C language compiler (LLVM + MIPS dual backend with the visualization interface). Complete models about lexical analysis, syntax analysis, intermediate tree generation, generating object code, generating assembly code and machine code, which could be executed in specific machine. C语言编译器(LLVM+MIPS双后端，完成可视化界面)。完成全套词法分析，语法分析，中间树生成，生成目标代码，生成汇编代码，汇编代码运行结果示例，中间树可视化等。

theorem_proving_in_lean4_zh_CN

Lean4中文教程

astro-run

A highly extensible runner that can execute any workflow.

Algorithm

Verified efficient algorithms in Lean4.

range_map_vec

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

pluto-lang

A language with a strange function syntax.

integer_complexity

Algorithms for computing the integer complexity.