555 Open source projects that are alternatives of or similar to Hyperkernel

🍬 All-new kernel for @GreenteaOS

SerenityOS is a love letter to '90s user interfaces with a custom Unix-like core. It flatters with sincerity by stealing beautiful ideas from various other systems.

Proton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.

Kernel Mode TCP Sockets + LSASS Dump (Rust Shellcode)

Rust library for parsing ACPI tables and AML

An Open-Source iOS 11.0 -> 11.4.1 (soon iOS 13) Jailbreak, made for teaching purposes.

❤️ Simple UI for pincode verification

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Ultibo Core

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

Learning operating system development using Linux kernel and Raspberry Pi

Collection of resources for my preparation to take the OSEE certification.

A tiny real-time kernel focusing on formal reliability and simplicity.

A fast SAT solver

A fast, accurate direct solver and determinant computation for dense linear systems

This is the full file system fuzzing framework that I presented at the Hack in the Box 2020 Lockdown Edition conference in April.

Jupyter kernel for scala and spark

The Language for Smart Legal Contracts

Application Kernel for Containers

带下划线的验证码输入框

Linux Kernel TLS/DTLS Module

Reference mobile app for BrightID

Fast and Easy Infinite Neural Networks in Python

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

Convert your Android phone to any USB device you like! USB Gadget Tool allows you to create and activate USB device roles, like a mouse or a keyboard. 🛠🛡📱

💥 BoneOS Kernel and Operating System Source Tree

一个自制的树莓派操作系统

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

Based on linux0.11, break it down, then reassemble (For NEU Lab use)

A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.

DJY Nethunter And Andrax Kernel Oneplus6-Oneplus6T

AuraOS, the Franco-English Operating System developed in C# using Cosmos!

A no-nonsense kernel tweak script for Linux and Android systems, backed by evidence.

[Deprecated] Symfony Async Kernel adpater

Armbian Linux build framework

ECMAScript verification with SMT solvers

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

JingOS - The World’s First Linux-based OS design for Tablets

multiplayer arcade game for bare metal Raspberry Pi 3 B+

Pine64 Linux Kernel

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

A List of Free and Open Source Hardware Verification Tools and Frameworks

Cogent Project

🎮 Source code of ring0/ring3 cheats in Counter-Strike Global Offensive

dahliaOS ISO releases

an experimental 64-bit operating system

中文注释说明内核源码

HACL*, a formally verified cryptographic library written in F*

This project aims to facilitate debugging a kernel driver in windows by adding support for a code change on the fly without reboot/unload, and more!

Fuzzers for the Linux kernel

Simple kernel module to inspect socket options

The Inspector tool is a privilege escalation helper (PoC), easy to deployed on web server, this tool can list process running with root, check kernel version, check history file, get possible exploit ...

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

nftables load balancer

Canadian Furious Beaver is a tool for hijacking IRPs handler in Windows drivers, and facilitating the process of analyzing Windows drivers for vulnerabilities

The history of Windows Internals via symbols.

An operating system written in C