felipebalbi

typst

A markup-based typesetting system that is powerful and easy to learn.

seL4

The seL4 microkernel

pico-sdk

probe-rs

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

latex3

The expl3 (LaTeX3) Development Repository

Hypervisor-101-in-Rust

The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.

Creality-Helper-Script-Wiki

Wiki for Creality Helper Script

defmt

Efficient, deferred formatting for logging on embedded systems

PseudoMakeMeKeyCapProfiles

Parametric Key Caps

packages

Packages for Typst.

svd2rust

Generate Rust register maps (`struct`s) from SVD files

stm32f4xx-hal

A Rust embedded-hal HAL for all MCUs in the STM32 F4 family

urchin

34 key ZMK keyboard, nice!view, nice!nano & hotswap supported.

templates

Templates that are directly maintained by the Typst team.

mwm

My Window Manager

advent-of-code

AgonLight

A stand-alone, BASIC-programmable microcontroller and microcomputer in one! The fastest, cheapest, most hackable 8-bit computer ever.

tikz_favorites

collection of favorite TikZ graphics

m4vga-rs

VGA-style video output for STM32F4 processors, in Rust

grammarly

Grammarly API interface

agon-bbc-basic

Official AGON QUARK Firmware: BASIC Interpreter

zmk-urchin

PETSCIIRobots-SDL

agon-flash

Agon firmware update utility

flymake-grammarly

Flymake support for Grammarly

PETSCIIRobots-PSP

Attack of the Petscii Robots - Sony Playstation Portable source

fox32asm

fox32 assembler

ambiq-rs

Rust HAL for the Ambiq Apollo MCU and boards

mcux-soc-svd

MCUXpresso SDK SoC SVDs

zephyr_imx7ulp