Berkus Decker's starred repositories
github-script
Write workflows scripting the GitHub API in JavaScript
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
cortex-debug
Visual Studio Code extension for enhancing debug capabilities for Cortex-M Microcontrollers
color-hash
Generate color based on the given string (using HSL color space and SHA256).
vscode-sublime-keybindings
Sublime Text Keymap extension for VS Code
openmw-shaders
Photorealistic shaders for Morrowind
mavlink-camera-manager
MAVLink Camera Manager Service
stm32-nucleo-f401re
Rust projects and templates for the STM32Nucleo-F4 development board
stm32-rs-nightlies
Up-to-date builds of current stm32-rs master branch, for use as Cargo git dependencies
cmsis-svd-stm32
CMSIS SVD files for all STM32 devices
hack-the-crab
Firmware for embedded crab toy
fast-dhash
A fast rust implementation of dhash
cherry-soc
Educational VexRiscv SoC
FPGADesignElements
A self-contained online book containing a library of FPGA design modules and related coding/design guides.
mastering-fpgasic-book
:book: Mastering FPGASIC Book