简's repositories
utlc-and-stlc-in-ts
un&simple-type lambda calculus written in typescript
rv32i-pipeline
未完待鸽
agda-mode-vscode
agda-mode on VS Code
air001-rs
A rust lib for air001
arend-tutor
Source code & exercises in Arend's documentation
c4
C in four functions
Cello
Higher level programming in C
fpga-UART
An UART lib written in Chisel3.
gegl
Read-only mirror of https://gitlab.gnome.org/GNOME/gegl
jian_os
an implementation of phil-opp/blog_os, thank u Philipp Oppermann!
koka
Koka language compiler and interpreter
linux
Linux kernel source tree
NetMonitor
monitor your OSPF status with graph
nightly-conf
The public nightly server configuration
probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
public-student-support-code
Public helper code for p423/p523 students (Racket)
RuCalculus
入墨答Rumbda, the Chinese expression of lambda calculus
tiny-gpu
A minimal GPU design in Verilog to learn how GPUs work from the ground up
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
zombie
Zombie chan revive!