Beast code in Giters

Junjie Mao's repositories

blog-pages

3 20

git-autotester

Language:Shell2 20

ucore_plus-next

This is a fork of the original ucore_plus tree and follows the shared repository model.

Language:C1 16 4

.emacs.d

My emacs configuration

Language:Emacs Lisp020

clangml

OCaml bindings for clang

Language:C++NOASSERTION020

coq-category

A personal attempt to formalize category theory in The Joy of Cat using Coq

Language:Coq020

hexo-theme-hueman

A redesign of Alx's wordpress theme hueman, ported to Hexo.

Language:JavaScriptGPL-2.0020

klee-play

A klee playground

Language:CNOASSERTION030

lkp-test

Language:Shell000

MINGW-packages

Package scripts for MinGW-w64 targets to build under MSYS2.

Language:ShellBSD-3-Clause020

node-cd

Featherweight node.js Continuous Deployment

Language:JavaScript020

notes

Personal notes on all kind of things

Language:Shell000

os_exercises

清华大学OS公开课——课后练习

020

personal-page

A stylish, one page, Bootstrap portfolio theme created by Start Bootstrap

Language:CSSApache-2.0000

project-euler

Solutions of Project Euler in clojure

Language:Clojure020

research-analysis

Language:Python020

ucore

Top level build system for uCore

Language:Shell020

ucore-dde

auto analyse kernel object files and create dde sketch

Language:C000

ucore_app_go

Go source for uCore

Language:GoBSD-3-Clause020

ucore_lab

Lab Codes for MOOC OS course in Tsinghua University.

Language:CGPL-2.0020

ucore_lab_next

uCore labs (pure code version with autotest scripts included)

Language:CGPL-2.0020