- New York, New York, United States
- https://davidweis.dev/
- in/david-weis
Highlights
Starred repositories
Daemon for easy but powerful stats aggregation
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
A generative world for general-purpose robotics & embodied AI learning.
Multi-Joint dynamics with Contact. A general purpose physics simulator.
An Every Day Calendar with Dark Mode
Easy self-referential struct generation for Rust.
A reference implementation for the specification that can create and configure a dev container from a devcontainer.json.
A bounded multi-producer multi-consumer concurrent queue written in C++11
A fast single-producer, single-consumer lock-free queue for C++
An open-source C++ library developed and used at Facebook.
Unofficial Tapo API Client. Works with TP-Link Tapo smart devices. Tested with light bulbs (L510, L520, L530, L535, L610, L630), light strips (L900, L920, L930), plugs (P100, P105, P110, P110M, P11…
A new markup-based typesetting system that is powerful and easy to learn.
Rust crate providing cross-platform information about the notebook batteries.
Cross-platform library to fetch system information
Copper is a user friendly and deterministic runtime for building production-ready robots.
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
GUI for remote control of Raspberry Pi GPIO hardware
Adds zero-cost stack overflow protection to your embedded programs
Efficient, deferred formatting for logging on embedded systems
A new pure-Rust library for cross-platform low-level access to USB devices.
An alternative, structured, adapter for serializing tracing types using serde