☆10Sep 6, 2023Updated 2 years ago
Alternatives and similar repositories for sparrow-cantrip-full
Users that are interested in sparrow-cantrip-full 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 simple operating system (SOS) built on top of the seL4 microkernel☆12Mar 3, 2018Updated 8 years ago
- Project Sparrow: Repo Materials☆23Jul 7, 2023Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 2 years ago
- sel4 benchmarking applications and support library.☆21Mar 31, 2026Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆228Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Reads and parses Linux device tree images☆17Feb 10, 2024Updated 2 years ago
- Universal RPC library for interfacing with your favourite hardware☆14Apr 16, 2020Updated 5 years ago
- Comparative analysis of desktop environments, window managers, and display managers across different operating systems. Quantitative metr…☆20Feb 1, 2025Updated last year
- Apps for running with the rumprun unikernel on seL4.☆33Mar 31, 2026Updated last week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆41Nov 12, 2025Updated 4 months ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆17Mar 13, 2022Updated 4 years ago
- Rust support for seL4 userspace☆195Mar 31, 2026Updated last week
- The Erlang/OTP PR CDN☆13Feb 17, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆14Dec 17, 2018Updated 7 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆50Apr 3, 2026Updated last week
- A simple Django middleware for submitting timings and exceptions to Datadog.☆13Jun 26, 2017Updated 8 years ago
- The seL4 microkernel☆5,399Apr 2, 2026Updated last week
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- ☆18Mar 23, 2022Updated 4 years ago
- The Open Age Ratings Service☆26Jul 7, 2024Updated last year
- A guide on how to build and use a set of Bao guest configurations for various platforms☆52Mar 21, 2026Updated 2 weeks ago
- ☆28Mar 2, 2023Updated 3 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.
- This project intends to develop tools around AFDX. (Avionics Full Duplex Switched Ethernet).☆10Oct 27, 2010Updated 15 years ago
- Python interface for the NRLMSISE-00 empirical neutral atmosphere model☆12Sep 30, 2024Updated last year
- dthreads: Efficient Deterministic Multithreading☆20Sep 24, 2015Updated 10 years ago
- tasty fork of ghlite.nvim☆31Mar 12, 2026Updated 3 weeks ago
- SQLite bindings for Lean☆41Mar 12, 2026Updated 3 weeks ago
- This example demonstrates the use of the Generic Interrupt Controller (GIC) in a baremetal environment.☆14Apr 2, 2024Updated 2 years ago
- ☆15May 5, 2023Updated 2 years ago
- RDS (IEC 62106) decoder library for Arduino.☆11Apr 21, 2021Updated 4 years ago
- ☆11Jul 18, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- Vehicle to Vehicle Communication in Self-Driving Car☆12May 14, 2018Updated 7 years ago
- Count the words in a string.☆17Sep 22, 2015Updated 10 years ago
- ABANDONED. I'm not using nor working on this any more. A plugin to debug programs in Sublime Text 2 using the LLDB debugger. (Let me know…☆27Jul 25, 2016Updated 9 years ago
- List of EOS peers for mainnet in config.ini format, and other relevant information to connect to the future mainnet☆12Jul 8, 2018Updated 7 years ago
- Kirk is the official executor of Linux Test Project☆17Mar 30, 2026Updated last week
- Python Bindings for OpenLayers JS☆21Mar 28, 2026Updated last week