Pinned Repositories
dimy-project
This will be our gourp project of comp9337, implementing a DIMY protocol to track down COVID social network
ez-patch
A simple tool for managing, collecting and applying your patches in a much more convinient way
incubator-nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
libdatachannel
C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets
misc-code-playground
os161-docs
docs related to play around with os161 as well as study UNSW operating system course :)
p2p-app
p2p network simulation using Distributed Hash Table
programming-demo
seL4
The seL4 microkernel
seL4emu-src
Emulating the seL4 system on Linux
realprocrastinator's Repositories
realprocrastinator/misc-code-playground
realprocrastinator/dimy-project
This will be our gourp project of comp9337, implementing a DIMY protocol to track down COVID social network
realprocrastinator/os161-docs
docs related to play around with os161 as well as study UNSW operating system course :)
realprocrastinator/qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
realprocrastinator/seL4
The seL4 microkernel
realprocrastinator/seL4-thesis-report-src
realprocrastinator/seL4emu-presentation
A seL4 emulation layer on Linux OS
realprocrastinator/seL4emu-src
Emulating the seL4 system on Linux
realprocrastinator/cbc-demo
Simple cipher block chaining demo program
realprocrastinator/cs-notes
Review notes for what I've learned. Algorithms, OS, Networks, etc.
realprocrastinator/ez-patch
A simple tool for managing, collecting and applying your patches in a much more convinient way
realprocrastinator/incubator-nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
realprocrastinator/libdatachannel
C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets
realprocrastinator/aboutme
My personal website :-)
realprocrastinator/Awesome-Learning-Resource
A curated list of all kinds of learning resources, blogs, books, videos and so on. And I'll keep it up to date. 😉
realprocrastinator/echo-downloader
Video downloader targeting echo360 at UNSW
realprocrastinator/fpga-labs
COMP9222 labs which needs to be done with a hack in VHDL
realprocrastinator/Kconfiglib
A flexible Python 2/3 Kconfig implementation and library
realprocrastinator/leetcode
leetcode solution
realprocrastinator/lv_port_pc_vscode
realprocrastinator/lvgl
Powerful and easy-to-use embedded GUI library with many widgets, advanced visual effects (opacity, antialiasing, animations) and low memory requirements (16K RAM, 64K Flash).
realprocrastinator/mri
MRI - Monitor for Remote Inspection. The gdb compatible debug monitor for Cortex-M devices.
realprocrastinator/nuttx-apps
Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS
realprocrastinator/realprocrastinator
Hello World!
realprocrastinator/realprocrastinator.github.io
realprocrastinator/rtos-views
RTOS views for microcontrollers
realprocrastinator/seL4emu-slides-src
presentaion slides for my seL4 emulation project in UNSW
realprocrastinator/TheVoiceOfApril
四月之声
realprocrastinator/vimconf
personal vim configuration for vim & neovim
realprocrastinator/Xiaomi_Kernel_OpenSource
Xiaomi Mobile Phone Kernel OpenSource