A tutorial for learning the seL4 Microkit
☆13Sep 21, 2026Updated last month
Alternatives and similar repositories for microkit_tutorial
Users that are interested in microkit_tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆73Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆210Oct 5, 2026Updated 2 weeks ago
- Nix tooling for the seL4 microkernel & ecosystem☆21Aug 7, 2026Updated 2 months ago
- Rust firewall for seL4☆11Jun 20, 2018Updated 8 years ago
- An implementation of Brakerski et al's "Fully homomorphic encryption without bootstrapping"☆11Apr 29, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ZEOS: a transformer operating system — priority-preemptive scheduling, protected mode, and deterministic replay for LLM jobs☆24Updated this week
- SIGPLAN website☆13Updated this week
- Rust refactoring project☆20Nov 7, 2016Updated 9 years ago
- A minimal runtime for seL4 applications.☆13Jul 22, 2026Updated 3 months ago
- Component Architecture test suite and example apps.☆36Jul 22, 2026Updated 3 months ago
- A code editing & sharing utility☆12Dec 18, 2023Updated 2 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Oct 28, 2020Updated 5 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆15Aug 4, 2026Updated 2 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆22Jul 19, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A symbolic analyser for shell scripts.☆23Sep 17, 2021Updated 5 years ago
- Access to a Deta Micro's underlying command shell.☆11Sep 3, 2024Updated 2 years ago
- Community contributions to the OpenFHE project☆14Mar 8, 2025Updated last year
- A virtual machine monitor for the seL4 microkernel☆81Updated this week
- Visual Studio Code on https://deta.space☆16Jan 24, 2024Updated 2 years ago
- Python implementation of the Fully Homomorphic Encryption Scheme TFHE☆18Jun 19, 2023Updated 3 years ago
- GHHC-HACKBAR is an Advanced Web Penetration Testing Tool. Modified from Anon HackBar.☆15Jun 15, 2023Updated 3 years ago
- Repository to hold cassettes used by the Auto-GPT test suite☆15Mar 22, 2024Updated 2 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Jul 13, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 8 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆21Sep 11, 2026Updated last month
- ☆15Jan 22, 2017Updated 9 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- From datasheet (pdf) to SVD... to then be fed into svd2rust☆10May 26, 2022Updated 4 years ago
- Advanced Operating Systems project manifest☆16Sep 6, 2025Updated last year
- Synthetic asset smart contract for the Liquid network☆10Feb 24, 2022Updated 4 years ago
- A rust port of con-leche☆33Updated this week
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Apr 29, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Opengrep playground: a desktop app to craft Opengrep rules☆30Oct 15, 2026Updated last week
- ARM Bare Metal Widget (arm-bmw) hardware☆15Apr 25, 2017Updated 9 years ago
- An integrated context-aware scanner and parser generator☆24Sep 5, 2026Updated last month
- A Repo giving a step by step process of creating an anonymous sock puppet account.☆17Jun 4, 2023Updated 3 years ago
- A JWT library for V-Lang☆10Jan 21, 2024Updated 2 years ago
- 💊 Modern, free and blazingly fast game engine☆20Oct 17, 2026Updated last week
- 2019 - [Flask] Cryptocurrency dashboard web app☆11May 1, 2023Updated 3 years ago