Repository Index

A secure embedded operating system for microcontrollers

• embedded
• operating-system
• rust
• cortex-m

OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

• kernel
• lab
• os
• rust

A fully compliant RISC-V computer made inside the game Terraria

• logic-gates
• risc-v
• riscv
• terraria

Rust version of THU uCore OS. Linux compatible.

• rust
• osdev
• riscv
• x86-64

A Tool to make Build and Run eBPF programs easier

• ebpf
• ebpf-co-re
• function-as-a-service
• wasm

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436