Felipe Balbi's starred repositories

typst

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

Language:RustLicense:Apache-2.0Stargazers:48006Issues:122Issues:3770

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:5141Issues:199Issues:476
Language:CLicense:BSD-3-ClauseStargazers:4507Issues:116Issues:1367

probe-rs

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

Language:RustLicense:Apache-2.0Stargazers:2435Issues:17Issues:799

latex3

The expl3 (LaTeX3) Development Repository

Language:TeXLicense:LPPL-1.3cStargazers:2055Issues:69Issues:1149

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.

Language:RustLicense:MITStargazers:1142Issues:13Issues:10

Creality-Helper-Script-Wiki

Wiki for Creality Helper Script

defmt

Efficient, deferred formatting for logging on embedded systems

Language:RustLicense:Apache-2.0Stargazers:1078Issues:9Issues:392

PseudoMakeMeKeyCapProfiles

Parametric Key Caps

Language:OpenSCADLicense:GPL-3.0Stargazers:886Issues:18Issues:9

packages

Packages for Typst.

Language:RustLicense:Apache-2.0Stargazers:810Issues:5Issues:94

svd2rust

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

Language:RustLicense:Apache-2.0Stargazers:798Issues:23Issues:307

stm32f4xx-hal

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

Language:RustLicense:0BSDStargazers:657Issues:18Issues:207

urchin

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

templates

Templates that are directly maintained by the Typst team.

Language:TypstLicense:MIT-0Stargazers:365Issues:10Issues:41

mwm

My Window Manager

Language:RustLicense:MITStargazers:285Issues:5Issues:4

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

Language:TeXStargazers:209Issues:9Issues:0

m4vga-rs

VGA-style video output for STM32F4 processors, in Rust

Language:RustLicense:BSD-2-ClauseStargazers:165Issues:5Issues:1

grammarly

Grammarly API interface

Language:Emacs LispLicense:GPL-3.0Stargazers:130Issues:9Issues:7

agon-bbc-basic

Official AGON QUARK Firmware: BASIC Interpreter

Language:AssemblyLicense:ZlibStargazers:78Issues:11Issues:62

agon-flash

Agon firmware update utility

Language:AssemblyLicense:MITStargazers:41Issues:4Issues:0

flymake-grammarly

Flymake support for Grammarly

Language:Emacs LispLicense:GPL-3.0Stargazers:40Issues:4Issues:8

PETSCIIRobots-PSP

Attack of the Petscii Robots - Sony Playstation Portable source

fox32asm

fox32 assembler

Language:RustLicense:MITStargazers:16Issues:2Issues:5

ambiq-rs

Rust HAL for the Ambiq Apollo MCU and boards

mcux-soc-svd

MCUXpresso SDK SoC SVDs

Language:CStargazers:1Issues:0Issues:0