The seL4 microkernel

Xvisor: eXtensible Versatile hypervISOR

Everything we learnt from hacking Arm Mali GPUs.

Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V

Source code for Twitter's Recommendation Algorithm

A little fail-safe filesystem designed for microcontrollers

Mirror of https://gitlab.redox-os.org/redox-os/redox

Rust version of THU uCore OS. Linux compatible.

Genode OS Framework

Official MINIX sources - Automatically replicated from gerrit.minix3.org

mirror of git://git.code.sf.net/p/monartis/openqnx

NOVA Microhypervisor

A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

The development version of the L4Re Microkernel

Abseil Common Libraries (C++)

VSCode ctags implementation that actually works

A flutter plugin for reading 2D barcodes and QR codes.

libbpg (copy of the source code for easy access)

Markless AR transplanted to iOS and Android based on takmin's code. http://meiroo.github.io/projects#ar

A fast C99 geohash library which only provide int64 as hash result.