Pinned Repositories
cicada-plct
Cicada Language (PLCT little team)
cicada
codecrafters-git-rust
IoJSON
A JSON library implemented by metaprogramming in Io
miniARMv7
modern-cv
A modern resume template written in Typst, inspired by Awesome-CV
ProcessFamilyTreeModule
rv32i-pipeline
未完待鸽
utlc-and-stlc-in-ts
un&simple-type lambda calculus written in typescript
Zaoqi
This project was temporarily abandoned 🥹
LittleJianCH's Repositories
LittleJianCH/ProcessFamilyTreeModule
LittleJianCH/IoJSON
A JSON library implemented by metaprogramming in Io
LittleJianCH/modern-cv
A modern resume template written in Typst, inspired by Awesome-CV
LittleJianCH/rv32i-pipeline
未完待鸽
LittleJianCH/CH549_sdcc_template
LittleJianCH/rust
Empowering everyone to build reliable and efficient software.
LittleJianCH/agda-mode-vscode
agda-mode on VS Code
LittleJianCH/air001-rs
A rust lib for air001
LittleJianCH/AlchemyCommission
LittleJianCH/arend-tutor
Source code & exercises in Arend's documentation
LittleJianCH/BadAppleOnArduinoR4
LittleJianCH/c4
C in four functions
LittleJianCH/Cello
Higher level programming in C
LittleJianCH/ComicKhan
.cbz/.cbr/.pdf reader app
LittleJianCH/dn11-registry
LittleJianCH/jian_os
an implementation of phil-opp/blog_os, thank u Philipp Oppermann!
LittleJianCH/linux
Linux kernel source tree
LittleJianCH/mbt-core
MoonBit's Core library
LittleJianCH/mbt-x
experimental packages for moonbitlang/core
LittleJianCH/moonlex
LittleJianCH/nightly-conf
The public nightly server configuration
LittleJianCH/probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
LittleJianCH/rust-analyzer
A Rust compiler front-end for IDEs
LittleJianCH/rustup
The Rust toolchain installer
LittleJianCH/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
LittleJianCH/tiny-gpu
A minimal GPU design in Verilog to learn how GPUs work from the ground up
LittleJianCH/TVirus
LittleJianCH/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
LittleJianCH/zombie
Zombie chan revive!
LittleJianCH/zombie-eval-jian