Kensuke-Hinata

verso

A web browser that plays old world blues to build new world hope

killport

A command-line tool to easily kill processes running on a specified port.

teo

Schema-driven web server framework.

Competitive-Programming-A-Complete-Guideline

rustypaste

A minimal file upload/pastebin service.

Modern-Cpp-templates-tutorial

现代C++模板教程

llvm-tutorial-cn

Simplified Chinese translation for the LLVM Tutorial

libminizinc

The MiniZinc compiler

string-view-lite

string_view lite - A C++17-like string_view for C++98, C++11 and later in a single-file header-only library

Fiwix

A UNIX-like kernel for the i386 architecture

rye

homoiconic dynamic programming language with some new ideas

valida

A STARK-based VM focused on code reuse, performance, and modularity

ModernCpp-ConcurrentProgramming-Tutorial

现代C++并发编程教程

Daily_CF_Problems

To practice your competitive programming skills, try solving daily Codeforces problems!

vortex

A toolkit for working with compressed Arrow in-memory, on-disk, and over-the-wire. "The LLVM of file formats"

recursion

Stack safe and expressive recursion in Rust

candystore

A very fast Key-Value store in pure rust

Foundation

Lean4 Logic Formalization

cold

The cold linker

vertex_cover

vertex cover solver

Software-Security-Analysis

Software Security Analysis Course

shoka

Code Snippets for Competitive Programming

fvs

feedback vertex set solver

SimPL

SimPL is a simplified dialect of ML, which can be used for both functional and imperative programming.

kelvinlau-code

Kelvin Lau's personal code

Algo

ACM-ICPC

go

Kelvinlau's go toy libraries.

icpc_library

rlib

A collection of rust algorithms for competitive programming