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

The hypervisor-based container runtime for Kubernetes.

linux内核学习资料：200+经典内核文章，100+内核论文，50+内核项目，500+内核面试题，80+内核视频

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

rnk is a RTOS targeting ARM architecture.

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

Sample usage of the new memfd_create(2) Linux system call.

A Go unikernel running on x86 bare metal

A secure, modern and intelligent operative system

A simple guide to x86 architecture, assembly, memory management, paging, segmentation, SMM, BIOS....

Information to reproduce results from SV-COMP (MOVED, please follow the link)

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

Kani Rust Verifier

libhermit-rs: A Rust-based library operating system

Advanced process execution monitoring utility for linux (procmon like)

The distributed exokernel operating system

A Framework for Deep Neural Network Verification

A short tutorial about building Linux based operating systems.

Jupyter kernel for scala and spark

[Deprecated] Symfony Async Kernel adpater

The Java SDK for interacting with the Yoti Platform

ucore os lab guide

Kernel & Boot Loader Management

Tools to let a u-root instance boot signed live distro images over the web

Homebrew formulas for buildling a valid GCC toolchain for the i386-elf target.

Enables your consumer driven contracts workflow

简单的滑动验证码JS插件 图片验证码

Armbian Linux build framework

A simple OS running on Intel x86 architecture | No longer updating

Cosette is an automated SQL solver.

📝 Kernel module that can be used as a replacement for syslog, logger or logwrapper

Ever wanted to execute PHP in your kernel driver? Look no further!

c-binding free API for golang to communicate with the log subsystem of netfilter

An advanced SAT solver

VHDL-2008 Support Library

ECMAScript verification with SMT solvers

Operating System Coded in Assembly and C

🔒Unified API for password hashing algorithms

A Mod version of KernelAdiutor (An application which manages kernel parameters)

The Darwin Kernel (mirror). This repository is a pure mirror and contributions are currently not accepted via pull-requests, please submit your contributions via https://developer.apple.com/bug-reporting/

Fully customizable UI Component for verification codes written in swift with RxSwift support!

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

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

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

Exploits pack for the Windows Kernel mode driver HackSysExtremeVulnerableDriver written for educational purposes.

An operating system written in D

A 32bit multiboot OS kernel for IA32 (PC/AT) systems.

My Operating System.

YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-difference methods and similar applications.

Protected Processes Light Killer

Operating System development experiment in Ada

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

VUnit is a unit testing framework for VHDL/SystemVerilog

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

iPod usb gadget for audio playback

html5 canvas image process ( 3*3 kernel ) canvas卷积核测试 canvas图片后期

Cat System Workshop is a regular meet-up focusing on “system software”. We would like to gather all developers to share their experience regarding system software and learn from each other, making system software more perfect and complete!