caprese-project / capreseLinks
Caprese is a microkernel that protects resources with capability-based security.
☆19Updated last year
Alternatives and similar repositories for caprese
Users that are interested in caprese are comparing it to the libraries listed below
Sorting:
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆49Updated 3 months ago
- 未踏応募書類と成果報告書☆48Updated last year
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆63Updated last year
- A toy C compiler written in Rust that emits RISC-V assembly.☆31Updated 4 months ago
- Toy browser on single process / thread☆33Updated 3 years ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)☆55Updated 3 weeks ago
- translation of XV6☆49Updated 7 years ago
- Operating and Language processing system☆28Updated 4 years ago
- A software router!☆74Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated last year
- texliveがフルインストールされたdevcontainer☆23Updated last year
- seccamp2018 c compiler☆57Updated 3 years ago
- ☆30Updated 2 years ago
- ☆27Updated 2 years ago
- A MikanOS implementation written in Rust.☆40Updated 3 years ago
- ☆142Updated last year
- Runtime for creating OS to use A9N Microkernel☆11Updated 4 months ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- ☆181Updated this week
- aarch64 thin hypervisor for resource aggregation☆36Updated 8 months ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆45Updated last year
- ☆74Updated last week
- MP4 library☆147Updated this week
- 雙峰祭オンラインシステム バックエンド☆19Updated 2 years ago
- CUI Portfolio like ubuntu terminal.☆31Updated 3 years ago
- HCCC -Human C Compiler Contest-☆51Updated 2 years ago
- A toy C compiler, developed at seccamp2020.☆21Updated 2 years ago
- ☆36Updated last year
- WIP: 一週間でなれる!スパコンプログラマ Rust版☆38Updated 4 years ago