Getting Started with CheriBSD
☆15Feb 11, 2026Updated 3 weeks ago
Alternatives and similar repositories for cheribsd-getting-started
Users that are interested in cheribsd-getting-started are comparing it to the libraries listed below
Sorting:
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆207Updated this week
- Terraform module to support Sagemaker for AWS provider☆31Oct 3, 2023Updated 2 years ago
- Newman reporter allowing to decorate pull request with postman collection results.☆10Nov 2, 2023Updated 2 years ago
- Plugin for build a Vue 3 app in front and load it on CakePHP site. Communicate Vue 3 Component on front with back without implement and u…☆12Mar 3, 2025Updated last year
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Dec 11, 2022Updated 3 years ago
- HPE storage platforms deployment declarations for container orchestrators☆12Updated this week
- An Xbox adapter for ioBroker☆13Feb 6, 2025Updated last year
- Harness the magick of the primal sources of the land.☆11Feb 8, 2026Updated 3 weeks ago
- MachineAuth provides authentication and permission infrastructure that allows AI agents to securely access APIs, tools, and services.☆50Updated this week
- Display pvp history, post match report, and medals earned for Destiny 2.☆12Dec 1, 2022Updated 3 years ago
- Web user interface for controlling a CATS Radio (https://cats.radio) node☆10Nov 30, 2024Updated last year
- An integrated VCS and development environment for Common Lisp☆13Mar 8, 2024Updated last year
- traefik stack for balenaCloud to proxy https domains to internal services☆11Oct 3, 2020Updated 5 years ago
- RRust, a reversible Rust DSL☆43Nov 26, 2024Updated last year
- ☆14Jan 23, 2026Updated last month
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- mass-contact text/SMS distribution tool☆11Apr 28, 2025Updated 10 months ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- A UI library for Love2D, inspired by Unity game engine☆10Aug 17, 2022Updated 3 years ago
- Templater script for sending Obsidian thoughts to Napkin.one as new ideas☆11May 10, 2023Updated 2 years ago
- DKIM support on e-mail☆11Updated this week
- ☆11Apr 8, 2025Updated 10 months ago
- A toy programming language written in Lua☆14Dec 28, 2022Updated 3 years ago
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated last month
- A reactive notebook for Haskell☆53Updated this week
- Chart.js bindings for OCaml☆13May 13, 2021Updated 4 years ago
- Ruby module for work with zabbix api☆24Oct 4, 2012Updated 13 years ago
- ☆12Sep 30, 2017Updated 8 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- Automation Framework has many tools commonly used for Network Automation☆10Sep 4, 2025Updated 6 months ago
- ☆14Jan 30, 2025Updated last year
- ☆16Feb 15, 2026Updated 2 weeks ago
- Helm charts repository☆16Oct 21, 2025Updated 4 months ago
- RFCs for changes to DevTools☆15Nov 15, 2019Updated 6 years ago
- A zero-cost, open-source desktop AI assistant that understands your screen and responds in real time (with cua)☆23Jan 26, 2026Updated last month
- OpenSCAD DSL for OCaml☆15Oct 4, 2022Updated 3 years ago
- Development Container Features☆11Updated this week
- MPEG File Format Conformance Framework☆18May 29, 2025Updated 9 months ago
- Rust interface to the OS native signpost debug facilities☆10Dec 2, 2016Updated 9 years ago