Pinned Repositories
clocky-lang
jmgrosen.github.com
My website!
light-sculpture
Software dealing with the DPEA light sculpture project
mta-projection
musicazoo-android-queuer
shorai
A super-amazing OS that will bring world peace.
treddit
jmgrosen's Repositories
jmgrosen/clocky-lang
jmgrosen/mta-projection
jmgrosen/jmgrosen.github.com
My website!
jmgrosen/musicazoo-android-queuer
jmgrosen/circle-tirtle
jmgrosen/coq-ltac-iter
Access hint databases from tactics.
jmgrosen/folk
🎁 Physical computing system.
jmgrosen/formal-np-hardness
jmgrosen/four-track
jmgrosen/fpga-synth
jmgrosen/framebuf-plus
jmgrosen/hello-wasm-zig
jmgrosen/i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
jmgrosen/kitchenscheduler
kitchen scheduler for pika
jmgrosen/lcd_binding_micropython
LCD driver for micropython. Support intel8080 and rgb parallel interface.
jmgrosen/lv_binding_micropython
LVGL binding for MicroPython
jmgrosen/mealplan
jmgrosen/median
Rust wrappers for interacting with the Max SDK.
jmgrosen/micropython_NAU7802
A WIP micropython driver class for the NAU7802 24-bit ADC
jmgrosen/mustard-watches-talk
Three Decades of Mustard Watches: Theory, Practice, and Frontiers
jmgrosen/nau7802-rs
Rust library for the NAU7802 I2C ADC using embedded-hal traits
jmgrosen/nixpkgs
Nix Packages collection
jmgrosen/online-experiments
jmgrosen/PG
This repo is the new home of Proof General
jmgrosen/quartz
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
jmgrosen/rhine-boids
boids simulation using rhine
jmgrosen/sacn-rust
A Rust implementation of the ANSI E1.31 Streaming ACN protocol, tested against protocol version ANSI E1.31-2018.
jmgrosen/sigbovik
Proceedings of the annual intercalary robot dance party in celebration of workshop on symposium about 2^6th birthdays; in particular, that of Harry Q. Bovik
jmgrosen/smart-scale
jmgrosen/t-display-s3-amoled-rs
Rust code for T-Display S3 AMOLED, ESP32-S3 board with RM67162 AMOLED display