Distributed SQL database in Rust, written as an educational project

An awesome list that curates the best Kotlin Multiplatform libraries, tools and more.

OpenAGI: When LLM Meets Domain Experts

AIOS: AI Agent Operating System

Safe, portable, high performance compute (GPGPU) kernels.

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios. 使用Rust从0自研内核，具有Linux兼容性的操作系统，面向云计算Serverless场景而设计。

A series of Jupyter notebooks with Chinese comment that walk you through the fundamentals of Machine Learning and Deep Learning in python using Scikit-Learn and TensorFlow.

An experimental modular OS written in Rust.

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…

Python assignments for the machine learning class by andrew ng on coursera with complete submission for grading capability and re-written instructions.

Paging Debug tool for GDB using python

GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuzz OS kernels like simple applications.

JH7100 E24 baremetal demo

2023秋冬季开源操作系统训练营

advanced os course info & some os papers

Patches include sunxi platform support and various driver fixes

Patches include sunxi platform support and various driver fixes

Debian disk image builder for the Sipeed Lichee RV Risc-v Single Board Computer

项目的主仓库

RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core

A SD/MMC library with FAT16/FAT32 support, suitable for Embedded Rust systems

Library for generating/parsing/optimizing Koopa IR.

Tai-e assignments for static program analysis

The example SysY compiler Kira for PKU compiler course, written in Rust.

Simple benchmarks of Dijkstra algorithm among C++, Go, Julia, Python, JavaScript, Rust and Kotlin

riscv64 d1-nezha rt-thread(Allwinner D1 riscv chip)

oreboot is a fork of coreboot, with C removed, written in Rust.

Rust workspace for Raspberry Pi 4 bare metal things