Jean-Pierre De Jesus DIAZ's repositories
tokio-udev
Asynchronous udev hotplug monitor using Tokio and Mio.
guix-teamspeak
TeamSpeak package and service definitions for GNU Guix.
cortex-debug-dp-stm32h7
This package contains additional support functionality (SVD definitions) for Cortex-Debug for STMicroelectronics STM32H7 devices
guix-formal-verification
Formal verification meets Guix.
drone-core
The core crate for Drone, an Embedded Operating System.
drone-cortexm
ARM® Cortex®-M platform crate for Drone, an Embedded Operating System.
drone-stm32-map
STM32 peripheral mappings for Drone, an Embedded Operating System.
guile-toml
TOML for Guile
nanorfc5444
Parser and writer for RFC 5444 packets and messages.
packer.nvim
A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config
rust-bech32-bitcoin
Encoding and decoding Segregated Witness addresses in Bech32 format
Windows-driver-samples
This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.