☆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 3 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.☆22Jul 13, 2026Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆250Updated this week
- 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.
- Collection of Rust packages for time-series analysis☆20Aug 11, 2025Updated 11 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Apps for running with the rumprun unikernel on seL4.☆33May 28, 2026Updated last month
- 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
- Rust support for seL4 userspace☆208Updated this week
- An RSS reader built with Rust, Go and Typescript☆10May 25, 2026Updated last month
- The seL4 microkernel☆5,642Updated this week
- A Sokoban Game implemented with WPF, and Assembly in its core.☆11Jun 6, 2019Updated 7 years ago
- AI Agents on 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.
- AI Agent eBPF optimization benchmark and framework☆23Updated this week
- VS Code inspired text editor that mostly runs in a webworker☆11Updated this week
- A guide on how to build and use a set of Bao guest configurations for various platforms☆55Updated this week
- Automatic code formatter for Gradle☆28Jul 9, 2026Updated last week
- Simple string substitution for Haskell.☆15May 8, 2018Updated 8 years ago
- Haskell Makefile parser☆14Nov 14, 2025Updated 8 months ago
- Python interface for the NRLMSISE-00 empirical neutral atmosphere model☆12Sep 30, 2024Updated last year
- ☆28Mar 2, 2023Updated 3 years ago
- IPFS private network☆10Jul 10, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Jul 18, 2022Updated 4 years ago
- A package for the Go programming language to solve ordinary differential equations.☆11Nov 6, 2022Updated 3 years ago
- RDS (IEC 62106) decoder library for Arduino.☆11Apr 21, 2021Updated 5 years ago
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 10 years ago
- Automated, schema-based JSON unpacking to Polars objects☆13Sep 14, 2025Updated 10 months ago
- 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
- Regular expression for matching words in a string. Support for english, CJK and Cyrillic.☆18Sep 12, 2018Updated 7 years ago
- Cadence Audio Framework - Hostless☆13Apr 12, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Vehicle to Vehicle Communication in Self-Driving Car☆12May 14, 2018Updated 8 years ago
- PyQt application which shows the plotly map☆11Jan 13, 2023Updated 3 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
- An ETL tool for converting untyped CSV to parquet. Also triggers data lake updates.☆15Oct 29, 2021Updated 4 years ago
- 图像处理算法☆13Apr 23, 2017Updated 9 years ago
- Mirror of Apache Harmony DRLVM☆14May 15, 2026Updated 2 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆63Updated this week