jpedrick
Follow
Lists (2)
Stars
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
A collection of free MIDI chords and progressions ready to be used in your DAW, Akai MPC, or Roland MC-707/101
Distributed data engine for Python/SQL designed for the cloud, powered by Rust
Apache DataFusion Ballista Distributed Query Engine
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Real-time wgsl visualisation tooling for educating oneself in the art of shader programming
Code for simulations on YouTube
Godot Engine – Multi-platform 2D and 3D game engine
A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.
LVGL ported to ESP32 including various display and touchpad drivers
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
Arduino library to control Mitsubishi Heat Pumps via connector cn105
Safely pass trusted data to untrusted environments and back.
mac80211 driver for MediaTek MT76x0e, MT76x2e, MT7603, MT7615, MT7628 and MT7688
Vim-fork focused on extensibility and usability
A Vault plugin for the REDIS database
Simple Web based configuration generator for WireGuard
WireGuard Configuration Portal with LDAP connection
This arduino codebase is for an mmu2 home brew clone
support TFT35 V1.0/V1.1/V1.2/V2.0/V3.0, TFT28, TFT24 V1.1, TFT43, TFT50, TFT70
32bit board with LPC1768, support marlin2.0 and smoothieware, support lcd2004/12864, On-board TMC2130 SPI interface and TMC2208 UART interface no additional wiring is required
Dev and testing service for manipulating bd37033 sound chip on jerking car radio with intel sofia SoC
This is a generic Android HFP Client user application, including ringing notification. It is based on Qualcomm hfptestclient. This one is buildable as a regular application through some heavy use o…
Fast and Simple Serverless Functions for Kubernetes
Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.liber…
Kubernetes on Raspbian (Raspberry Pi)
A Swiss army knife for your daily Linux network plumbing.