☆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
- sel4 benchmarking applications and support library.☆22Updated this week
- This is an attempt to implement Spectre on ARMv7☆26Jun 4, 2018Updated 7 years ago
- ☆14Mar 21, 2022Updated 4 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.
- Collection of Rust packages for time-series analysis☆20Aug 11, 2025Updated 9 months ago
- Reads and parses Linux device tree images☆17Feb 10, 2024Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆232May 13, 2026Updated last week
- The xv6 operating system, ported to the Raspberry Pi☆16Oct 16, 2019Updated 6 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- The offline internet — searchable, browsable, and self-updating. A modern server for ZIM files with cross-source search, built-in library…☆29May 9, 2026Updated last week
- svd2rust generated interface to e310x peripherals☆30Apr 21, 2026Updated 3 weeks ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 8 years ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆41Nov 12, 2025Updated 6 months 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.
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆18Mar 13, 2022Updated 4 years ago
- Kiwix ZIM-to-vector RAG system for local, offline LLM knowledge retrieval☆20Mar 24, 2026Updated last month
- Rust support for seL4 userspace☆200Updated this week
- glmark2-es2 for ARM Mali GPU fbdev mode☆14Jul 18, 2020Updated 5 years ago
- A simple Django middleware for submitting timings and exceptions to Datadog.☆13Jun 26, 2017Updated 8 years ago
- The seL4 microkernel☆5,481May 9, 2026Updated last week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆54Updated this week
- A mapping of Rust features and tooling to Python☆14Mar 2, 2026Updated 2 months ago
- ☆20Sep 8, 2025Updated 8 months 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.
- A guide on how to build and use a set of Bao guest configurations for various platforms☆52Updated this week
- ☆28Mar 2, 2023Updated 3 years ago
- This project intends to develop tools around AFDX. (Avionics Full Duplex Switched Ethernet).☆10Oct 27, 2010Updated 15 years ago
- tasty fork of ghlite.nvim☆32Apr 24, 2026Updated 3 weeks ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 5 years ago
- This example demonstrates the use of the Generic Interrupt Controller (GIC) in a baremetal environment.☆13Apr 2, 2024Updated 2 years ago
- ☆11Jul 18, 2022Updated 3 years ago
- Network Calculus for end-to-end delay bounds of an AFDX network.☆16Sep 3, 2020Updated 5 years ago
- A package for the Go programming language to solve ordinary differential equations.☆11Nov 6, 2022Updated 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.
- IPFS private network☆10Jul 10, 2023Updated 2 years ago
- ja is a small CLI / TUI app that allows you to work with AI tools☆20Apr 22, 2026Updated 3 weeks ago
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 10 years ago
- Cadence Audio Framework - Hostless☆13Apr 12, 2022Updated 4 years ago
- XaaS for KaTeX on docs.rs☆13Apr 21, 2018Updated 8 years ago
- A graph editor widget for the egui library.☆17Apr 15, 2026Updated last month
- IoT Malware Similarity Analysis Platform☆43Jan 30, 2022Updated 4 years ago