☆10Sep 6, 2023Updated 3 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 3 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 3 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆276Updated this week
- Reads and parses Linux device tree images☆18Feb 10, 2024Updated 2 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.
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Hybrid Memory Versioning File System (HMVFS).☆12Jul 21, 2017Updated 9 years ago
- svd2rust generated interface to e310x peripherals☆32Sep 7, 2026Updated last month
- ☆18Dec 11, 2023Updated 2 years ago
- Apps for running with the rumprun unikernel on seL4.☆34May 28, 2026Updated 4 months ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆18Mar 13, 2022Updated 4 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 8 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆208Oct 5, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CharlesCui's Benchmark☆15Jul 11, 2011Updated 15 years ago
- ☆14Dec 17, 2018Updated 7 years ago
- The seL4 microkernel☆5,799Updated this week
- Vivado board files for the Kintex 7 HPC V2 FPGA board.☆26Jul 31, 2020Updated 6 years ago
- AI Agent eBPF optimization benchmark and framework☆25Oct 7, 2026Updated last week
- Comparative analysis of desktop environments, window managers, and display managers across different operating systems. Quantitative metr…☆21Feb 1, 2025Updated last year
- ☆10Oct 28, 2018Updated 7 years ago
- A rust project template for general purpose.☆13Sep 30, 2024Updated 2 years ago
- BootUnlocker for HMD Nokia Android Phones -- Get capability of unlocking bootloader☆12Mar 29, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- We are analyzing Youtube trends and comments to ultimately discover how youtubers become famous.☆10Dec 8, 2022Updated 3 years ago
- Sources for the Multi-Clock system as described in the paper: MULTI-CLOCK: Dynamic Tiering for Hybrid Memory Systems, HPCA 2022.☆20Mar 21, 2022Updated 4 years ago
- Python interface for the NRLMSISE-00 empirical neutral atmosphere model☆12Sep 30, 2024Updated 2 years ago
- ☆20Sep 8, 2025Updated last year
- 编写一个简单的linux kernel rootkit☆22Aug 7, 2022Updated 4 years ago
- ☆28Mar 2, 2023Updated 3 years ago
- Network Calculus for end-to-end delay bounds of an AFDX network.☆16Sep 3, 2020Updated 6 years ago
- ☆15Dec 4, 2016Updated 9 years ago
- A package for the Go programming language to solve ordinary differential equations.☆11Nov 6, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- XaaS for KaTeX on docs.rs☆13Apr 21, 2018Updated 8 years ago
- IoT Malware Similarity Analysis Platform☆43Jan 30, 2022Updated 4 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 8 years ago
- win10 media ocr☆11Jun 22, 2021Updated 5 years ago
- 图像处理算法☆13Apr 23, 2017Updated 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…☆73Updated this week