Kensuke-Hinata

HVM

A massively parallel, optimal functional runtime in Rust

kotlin-lib

geektime-books

:books: 极客时间电子书

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

Bend

A massively parallel, high-level programming language

pwatch

A cli tool to install a hardware breakpoint/watchpoint on a process in linux.

react-compiler

SipHash

High-speed secure pseudorandom function for short messages

Tomasulo

计算机系统结构作业

cf-tool

:bar_chart: Codeforces CLI (Submit, Parse, Test, etc.). Support Contests, Gym, Groups, acmsguru, Windows, macOS, Linux, 7 MB

db-papers

A list papers of learning how to building database system

zydeco

a proof-of-concept programming language based on Call-by-push-value

mathlib4

The math library of Lean 4

MoonbitNES

A NES emulator in MoonBit

type_checking_in_lean4

Type Checking in Lean 4

jacinda

Functional, expression-oriented data processing language

chinese-independent-developer

👩🏿‍💻👨🏾‍💻👩🏼‍💻👨🏽‍💻👩🏻‍💻**独立开发者项目列表 -- 分享大家都在做什么

rust2go

Call Golang from Rust

writing-a-wasm-runtime-in-rust

rusty.hpp

A Borrow Checker and Memory Ownership System for C++20 (heavily inspired from Rust)

blessed-rs

A community guide to the Rust ecosystem

ICPC-Templates

Templates for programming contests

Linux101-docs

Linux 101 学生课程教材与讲义

TopCoder

borgo

Borgo is a statically typed language that compiles to Go.

yantra

JavaScript Engine for .NET Standard

futures-concurrency

Structured concurrency operations for async Rust

effective-rust-cn

Effective Rust 中文版

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

mini-rust-runtime