Pinned Repositories
.emacs.d
My emacs configuration
blog-pages
clangml
OCaml bindings for clang
coq-category
A personal attempt to formalize category theory in The Joy of Cat using Coq
git-autotester
hexo-theme-hueman
A redesign of Alx's wordpress theme hueman, ported to Hexo.
klee-play
A klee playground
lkp-test
meson
The Meson Build System
ucore_plus-next
This is a fork of the original ucore_plus tree and follows the shared repository model.
eternalNight's Repositories
eternalNight/blog-pages
eternalNight/git-autotester
eternalNight/ucore_plus-next
This is a fork of the original ucore_plus tree and follows the shared repository model.
eternalNight/.emacs.d
My emacs configuration
eternalNight/clangml
OCaml bindings for clang
eternalNight/coq-category
A personal attempt to formalize category theory in The Joy of Cat using Coq
eternalNight/hexo-theme-hueman
A redesign of Alx's wordpress theme hueman, ported to Hexo.
eternalNight/klee-play
A klee playground
eternalNight/lkp-test
eternalNight/meson
The Meson Build System
eternalNight/MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
eternalNight/node-cd
Featherweight node.js Continuous Deployment
eternalNight/notes
Personal notes on all kind of things
eternalNight/os_exercises
清华大学OS公开课——课后练习
eternalNight/personal-page
A stylish, one page, Bootstrap portfolio theme created by Start Bootstrap
eternalNight/project-euler
Solutions of Project Euler in clojure
eternalNight/research-analysis
eternalNight/ucore
Top level build system for uCore
eternalNight/ucore-dde
auto analyse kernel object files and create dde sketch
eternalNight/ucore_app_go
Go source for uCore
eternalNight/ucore_lab
Lab Codes for MOOC OS course in Tsinghua University.
eternalNight/ucore_lab_next
uCore labs (pure code version with autotest scripts included)