Beast code in Giters

Jon's starred repositories

gdb-dashboard

Modular visual interface for GDB in Python

Language:PythonMIT10721 220 251

tock

A secure embedded operating system for microcontrollers

Language:RustNOASSERTION5138 116 664

seL4

The seL4 microkernel

Language:CNOASSERTION4587 205 404

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Language:RustMPL-2.02841 47 474

circle

A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

Language:CGPL-3.01764 84 298

probe-rs

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Language:RustApache-2.01555 18 533

renode

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

Language:RobotFrameworkNOASSERTION1451 62 567

embedded-graphics

A no_std graphics library for embedded applications

Language:RustApache-2.0876 16 335

videocoreiv

Tools and information for the Broadcom VideoCore IV (RaspberryPi)

Language:Python813 143 15

rusefi

rusefi - GPL internal combustion engine control unit

Language:CNOASSERTION719 67 2978

uds-c

Unified Diagnostics Service (UDS) and OBD-II (On Board Diagnostics for Vehicles) C Library

Language:CBSD-3-Clause644 95 11

cargo-call-stack

Whole program static stack analysis

Language:RustApache-2.0555 10 53

ptpd

PTPd official source - master branch a.k.a. trunk

Language:CNOASSERTION493 57 84

cargo-flash

a cargo extension for programming microcontrollers

Language:RustApache-2.0250 130

rpmsg-lite

RPMsg implementation for small MCUs

Language:CBSD-3-Clause212 28 38

statime

Implementation of the Precision Time Protocol (PTP) in Rust

Language:RustNOASSERTION144 12 41

ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.

Language:RustApache-2.0104 8 75

bounded-registers

Using Type-Level Programming in Rust to Make Safer Hardware Abstractions

Language:RustMIT50 7 5

Rust-Scad

Library for generating openscad code using rust

Language:RustGPL-2.030 5 5