caprese-project / capreseLinks
Caprese is a microkernel that protects resources with capability-based security.
☆17Updated 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.☆41Updated 2 months ago
- Operating and Language processing system☆26Updated 3 years ago
- 未踏応募書類と成果報告書☆46Updated last year
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆59Updated 8 months ago
- Runtime for creating OS to use A9N Microkernel☆11Updated 3 months ago
- texliveがフルインストールされたdevcontainer☆22Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated 9 months ago
- ☆27Updated last year
- ☆28Updated 2 years ago
- A MikanOS implementation written in Rust.☆39Updated 2 years ago
- 有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです.☆41Updated last month
- A software router!☆71Updated 11 months ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated 3 months ago
- MikanOS in Rust☆27Updated 4 years ago
- A toy C compiler, developed at seccamp2020.☆21Updated last year
- HCCC -Human C Compiler Contest-☆48Updated last year
- ☆30Updated 9 months ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆43Updated last year
- An experimental OS implementation with Rust☆30Updated 3 years ago
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- A programming language☆70Updated last year
- Toy browser on single process / thread☆32Updated 2 years ago
- rv32/64imac emulator☆31Updated 9 months ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- ☆31Updated 5 years ago
- Educational Operating System☆19Updated 4 years ago
- xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの☆28Updated 11 years ago
- ☆27Updated 2 years ago
- "saibos" is a toy OS written in Rust☆20Updated 3 years ago