887 Open source projects that are alternatives of or similar to Monkos

A 64-bit OS for the Raspberry Pi 3

Lakka is a lightweight Linux distribution that transforms a small computer into a full blown game console.

16u2 Bootloader to reprogram 16u2 + 328/2560 with Arduino IDE

The distributed exokernel operating system

A polyglot kernel for Jupyter notebooks based on GraalVM.

Hackintosh long-term maintenance model EFI and installation tutorial

xv6-riscv like OS written in Rust

A light-weight JIT compiler based on MIR (Medium Internal Representation)

Pragmatic microkernel-based OS with fully asynchronous I/O

Live cd/dvd customization tool

self-hosted compiler for a subset of OCaml

Linux内核0.11完全注释V3.0配套源代码

Generates kernel patch for CamFlow Linux Provenance Capture.

Microsoft Build Accelerator

Autonomous delivery robot with turtlebot3 and Jetson TX2

The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libraries.

Cheap EMUlator: lightweight multi-architecture assembly playground

Continuous integration for the Linux Kernel - Built within Docker

A linux-like virtual file system by C++

Useful Ruby FFI bindings for libc

RT-Thread is an open source IoT operating system.

Rust implementation of Xinu educational operating system

myLinux is a small UNIX like OS for embedded systems based on Westermo NetBox

Proton Kernel for the Asus Zenfone 6 (2019), codename Kirin and also known as I01WD and ZS630KL.

Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels

适用于树莓派3b/3b+的64位系统.

A modern experimental OS written from scratch in Rust to explore novel OS structure, state management techniques, and how to maximally leverage the power of language by shifting OS responsibilities into the compiler.

Framework to test any Anti-Cheat

How fast can we brute force a 64-bit comparison?

An ARM dynamic recompiler.

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

A simple script to install the necessary firmware to fix sound output (dummy sound).

Linux kernel PPS generator using GPIO pins

The hypervisor-based container runtime for Kubernetes.

Linux Kernel 1.0

GNU/Linux kernel driver and libusb app for a Pearl's USB LED fan

An optimizing decompiler

Check linux sources dump for known CVEs.

💻 신입 개발자로서 준비를 하기 위해 지식을 정리하는 공간 👨‍💻

A small amd64/ARM/ARM64 Docker image that allows you to use CloudFlare as a DDNS / DynDNS Provider.

A parallel implementation of "graph2vec: Learning Distributed Representations of Graphs" (MLGWorkshop 2017).

flat assembler 1 - reconstructed source history

Sian's Operating System

Defeating Patchguard universally for Windows 8, Windows 8.1 and all versions of Windows 10 regardless of HVCI

The Microdot Project guides you to create a fully functional but compact Linux system from scratch

A tool to help you write binary exploits

Modern operating system aimed at running WebAssembly code.

A lightweight package for loading OS environment variables into structs for Go projects

Occlum is a memory-safe, multi-process library OS for Intel SGX

A 64bit tomato kernel

build-once run-anywhere c library

Web framework for x86_64 nasm

A unix like kernel

Minimal Jupyter C kernel

Invaders game in 512 bytes (boot sector)

Dumping processes using the power of kernel space !

iPod usb gadget for audio playback

A small arm/x86(-64) C compiler

JIT compiler in Go

Minimal implementation of UNIX seq command in x86_64 assembly.