Pinned Repositories
c2rvcompiler
CsC-Compiler Design, Risc-V Backend
cocodery
Config files for my GitHub profile.
csmith
Csmith, a random generator of C programs
linux
Linux kernel source tree
SampleCPU
Computer Organization
SysYCompiler
a compiler for CSC-Compiler-2022
ferrocene
Source code of Ferrocene, safety-critical Rust toolchain
rust
Empowering everyone to build reliable and efficient software.
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
unikraft
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
cocodery's Repositories
cocodery/SysYCompiler
a compiler for CSC-Compiler-2022
cocodery/SampleCPU
Computer Organization
cocodery/c2rvcompiler
CsC-Compiler Design, Risc-V Backend
cocodery/cocodery
Config files for my GitHub profile.
cocodery/csmith
Csmith, a random generator of C programs
cocodery/linux
Linux kernel source tree
cocodery/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
cocodery/rust
Empowering everyone to build reliable and efficient software.
cocodery/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
cocodery/theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
cocodery/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
cocodery/miri
An interpreter for Rust's mid-level intermediate representation
cocodery/racket
The Racket repository
cocodery/typed-racket
Typed Racket