Skip to content
View simonarnell's full-sized avatar

Organizations

@ConfiguredThings @Synergia-CT
Block or Report

Block or report simonarnell

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Space for all of the CHERIoT demos that people have been building for various purposes

C++ 1 1 Updated Jul 29, 2024

Simple examples of Assembly code for the Apple Silicon (M1) CPU

Assembly 34 3 Updated Jan 11, 2023

A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI

C 20 11 Updated Jul 30, 2024

Tree-sitter parser for Pkl

C 27 7 Updated Jun 5, 2024
Shell 1 Updated May 28, 2024

Contains details of our indoor map format & API + a tutorial to help you get started.

97 39 Updated Jan 28, 2022

A configuration as code language with rich validation and tooling.

Java 9,979 264 Updated Jul 30, 2024

cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.

SystemVerilog 71 11 Updated Jul 26, 2024

Framework for signing videos and validating signed videos

C 29 3 Updated Jul 31, 2024

Merge All Windows for Microsoft Edge and Google Chrome

JavaScript 1 Updated Sep 12, 2023

CHERI Capability Derivation Tree

C 3 Updated Jun 29, 2024

Device Repository for LoRaWAN devices

JavaScript 186 363 Updated Jul 31, 2024

The RTOS components for the CHERIoT research platform

C++ 121 39 Updated Jul 30, 2024

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

C 160 58 Updated Jul 30, 2024

Getting Started with CheriBSD

11 4 Updated Jul 23, 2024

Convert a file with PlantUML code into a Diagrams.net (a.k.a Draw.io) XML file from the command line

Python 44 3 Updated May 13, 2024

A scalable overlay networking tool with a focus on performance, simplicity and security

Go 14,135 950 Updated Jul 30, 2024
JavaScript 121 57 Updated Jul 31, 2024

A modern, high customizable, responsive Jekyll theme for documentation with built-in search.

SCSS 7,289 3,618 Updated Jul 30, 2024

⭐ ⭐ Distributed tcpdump for cloud native environments ⭐ ⭐

Go 1,866 253 Updated Jul 1, 2024

Wifi & BLE driven passenger flow metering with cheap ESP32 boards

C++ 1,705 399 Updated Jul 3, 2024

Open and inexpensive DIY IP-KVM based on Raspberry Pi

7,721 435 Updated Jul 25, 2024

A cyber security-focused playing card game

Shell 12 1 Updated Jan 27, 2021

LORIX OS Build System sources (yocto)

BitBake 11 1 Updated Jun 13, 2024

Ternary plots for UK General Elections

R 16 1 Updated Jul 9, 2024

AntLR 4 Railroad Diagram Generator

Java 22 6 Updated Nov 14, 2023

XiPKI: Compact open source PKI (CA, OCSP responder, certificate protocols ACME, CMP, EST).

Java 501 126 Updated Jul 21, 2024

This project intends to provide a series of tools to craft, parse, send, analyze and crack a set of LoRaWAN packets in order to audit or pentest the security of a LoraWAN infrastructure.

Python 165 34 Updated May 22, 2023
Next