jwnhy's repositories
video2ascii
Yet another video to ASCII animation (in Rust)
algo-stanford
Algorithm Homework of Coursera Course
awesomeresources
All Cool Resources Online (Anime, Movie, Comics, Papers, etc.)
ddchisel
Digital Design with Chisel
Language:ScalaGPL-3.0000
gentoo_configuration
My gentoo configurations
Language:Roff000
Language:C000
jwnhy-resume-pdf
My resume.
Language:TeX000
kerneltool
A bunch of kernel development gadget collected online.
libbpf-bootstrap
Scaffolding for BPF application development with libbpf and BPF CO-RE
Language:CBSD-3-Clause000
linkedlist
A Formally Verified Linked List (WIP)
Language:RustMIT000
linux-eBPF
Linux kernel source tree
orangepi-5-build
My customized orangepi 5 build script.
Language:ShellGPL-2.0000
rand
A Rust library for random number generation.
Language:RustNOASSERTION000
riscv-sbi-doc
Documentation for the RISC-V Supervisor Binary Interface
syzkaller-BPF
syzkaller is an unsupervised coverage-guided kernel fuzzer
Language:GoApache-2.0000
tapl-ocaml
This is a tapl implementation of arithmetic expressions in OCaml.