Skip to content
View equation314's full-sized avatar

Highlights

  • Pro

Organizations

@rcore-os @decaf-lang @arceos-org

Block or report equation314

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

a Rust Hypervisor for mission-critical system

Rust 31 19 Updated Sep 25, 2024

High performance server-side application framework

C++ 8,304 1,540 Updated Oct 4, 2024

State of the art for unikernels

205 9 Updated Apr 30, 2024

An Open and Cross-platform Trusted Execution Environment.

Rust 138 17 Updated Sep 27, 2024

Async version of smoltcp

Rust 31 11 Updated Aug 15, 2023

All Algorithms implemented in Rust

Rust 22,381 2,180 Updated Oct 5, 2024

Stupid memory latency and TLB tester

C 698 205 Updated Aug 19, 2024

A new operating system kernel with Linux binary compatibility written in Rust.

Rust 3,340 89 Updated Oct 4, 2024

Linux kernel source tree

C 179,759 53,460 Updated Oct 5, 2024

📄 🇨🇳 📃 论文阅读笔记(分布式系统、虚拟化、机器学习)Papers Notebook (Distributed System, Virtualization, Machine Learning)

2,143 250 Updated Jun 1, 2022

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

C 2,595 1,528 Updated Oct 1, 2024

The Serenity Operating System 🐞

C++ 30,485 3,182 Updated Oct 5, 2024

Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name …

Rust 1,162 50 Updated Sep 7, 2024

A curated list of open-source projects that help exploit Intel SGX technology

358 51 Updated Aug 31, 2024

Linux KVM RISC-V repo

C 49 16 Updated Oct 5, 2024

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…

PHP 57,265 23,787 Updated Oct 5, 2024

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…

Rust 2,882 172 Updated Sep 22, 2024

Emulate Nintendo Switch Controllers over Bluetooth

Python 1,244 278 Updated Mar 22, 2022

Rcore Virtual Machine

Rust 106 19 Updated Mar 6, 2024

Zircon microkernel reimplemented in Rust.

Rust 1,715 210 Updated Apr 15, 2024

文言文編程語言 A programming language for the ancient Chinese.

TypeScript 19,587 1,096 Updated Oct 20, 2023

Tutorial doc for rCore OS step by step (2nd edition)

Rust 64 16 Updated Nov 19, 2020

LK embedded kernel

C 3,171 621 Updated Sep 7, 2024

Handle TrapFrame across kernel and user space on multiple ISAs.

Rust 30 23 Updated Jul 11, 2024

从fuchsia官方目录中分离出来的zircon代码

C++ 51 21 Updated Dec 26, 2019

A minimal out-of-the-box Fuchsia SDK for Rust.

Makefile 5 1 Updated Dec 25, 2019

对zircon内核的一些分析,欢迎补充!

58 15 Updated Jan 5, 2020

Needs to generate some texts to test if my GUI rendering codes good or not. so I made this.

JavaScript 15,679 2,881 Updated Jul 10, 2021

Bare metal Raspberry Pi 3 tutorials

C 2,716 332 Updated Jun 21, 2024

The new Decaf compiler, rewritten in "modern" Java

Java 62 28 Updated Jul 21, 2020
Next