Building seL4 and generating Rust bindings based on feL4 configuration
☆22May 31, 2018Updated 7 years ago
Alternatives and similar repositories for libsel4-sys
Users that are interested in libsel4-sys are comparing it to the libraries listed below
Sorting:
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 7 years ago
- A modern MDL interpreter☆12Sep 4, 2019Updated 6 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14Aug 18, 2025Updated 6 months ago
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated 11 months ago
- ☆16Mar 28, 2022Updated 3 years ago
- Basic tools for building seL4 projects☆53Updated this week
- OpenBSD/L4 port☆18Apr 6, 2017Updated 8 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Dec 2, 2015Updated 10 years ago
- Monitoring and record(save) of data for Arduino and STM32☆27Feb 20, 2026Updated last week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆77Jul 25, 2022Updated 3 years ago
- Deprecated in favor of the libm crate.☆29Jul 14, 2018Updated 7 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- Sail code model of the CHERIoT ISA☆48Feb 17, 2026Updated last week
- Allows you to use your Bluetooth gamepad on your PC via your mobile phone (so you don't need a Bluetooth dongle)☆11Oct 15, 2021Updated 4 years ago
- Specification to describe the minimum information standard for online community data. Guidelines for describing data about online communi…☆11Sep 19, 2016Updated 9 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆44Updated this week
- A python web scraper built on Selenium to gather profile data from okcupid.com☆11Oct 15, 2022Updated 3 years ago
- ☆40Feb 10, 2020Updated 6 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆224Updated this week
- NixOS expression for creating a simple router☆39Nov 3, 2021Updated 4 years ago
- A Sokoban Game written in python using pyGame Library☆11May 13, 2021Updated 4 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- libopencm3 c++ wrappers☆10Dec 25, 2020Updated 5 years ago
- Prima JWKS-sync client implementation for Auth0☆10Feb 18, 2026Updated last week
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- An Excel spreadsheet to help you solve WORDLE puzzles☆13Dec 14, 2022Updated 3 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 10 years ago
- ☆37Aug 13, 2025Updated 6 months ago
- Federal Cloud Computing Strategy Website☆15Oct 6, 2022Updated 3 years ago
- A console-oriented surf forecast service☆10Jan 1, 2025Updated last year
- safe, no-cost and easy-to-use Cpp header to work safely with HW registers☆14Sep 15, 2024Updated last year
- ☆19May 30, 2025Updated 9 months ago
- A simple puzzle game developped in Rust with bracket-lib for rendering, and legion for ECS☆10Jun 3, 2020Updated 5 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- An MCP server that provides seamless access to a user's Last.fm listening data and music information via AI assistants like Claude.☆23Updated this week
- Adding programming ligatures to any font☆12Dec 11, 2024Updated last year
- Syllabus for "Anthropology of Silicon Valley(s)" course☆16Apr 24, 2017Updated 8 years ago
- A clone of TaskRabbit where you can hire taskers for home projects.☆12Jan 19, 2023Updated 3 years ago