jmgrosen

Pinned Repositories

clocky-lang
Language:C5 2 00
hyperscale
Language:Slint1 2 00
jmgrosen.github.com
My website!
Language:HTML1 1 00
light-sculpture
Software dealing with the DPEA light sculpture project
Language:Rust1 3 00
mta-projection
Language:JavaScript2 2 00
musicazoo-android-queuer
Language:Kotlin1 3 00
shorai
A super-amazing OS that will bring world peace.
Language:Rust16 5 11
treddit
Language:Python2 6 170

jmgrosen's Repositories

jmgrosen/clocky-lang
Language:C5 2 00
jmgrosen/mta-projection
Language:JavaScript2 2 00
jmgrosen/hyperscale
Language:Slint1 2 00
jmgrosen/jmgrosen.github.com
My website!
Language:HTML1 1 00
jmgrosen/circle-tirtle
Language:JavaScript1 0
jmgrosen/coq-ltac-iter
Access hint databases from tactics.
Language:OCaml2 0
jmgrosen/folk
🎁 Physical computing system.
jmgrosen/formal-np-hardness
Language:TeX4 0
jmgrosen/four-track
Language:JavaScript2 0
jmgrosen/fpga-synth
Language:Python3 0
jmgrosen/framebuf-plus
Language:Python1 0
jmgrosen/hello-wasm-zig
Language:JavaScript
jmgrosen/i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
Language:Rust2 0
jmgrosen/kitchenscheduler
kitchen scheduler for pika
Language:Python2 0
jmgrosen/lcd_binding_micropython
LCD driver for micropython. Support intel8080 and rgb parallel interface.
Language:C1 0
jmgrosen/lv_binding_micropython
LVGL binding for MicroPython
Language:C1 0
jmgrosen/mealplan
Language:Go2 0
jmgrosen/median
Rust wrappers for interacting with the Max SDK.
Language:Rust1 0
jmgrosen/micropython_NAU7802
A WIP micropython driver class for the NAU7802 24-bit ADC
Language:Python1 0
jmgrosen/mustard-watches-talk
Three Decades of Mustard Watches: Theory, Practice, and Frontiers
Language:TeX3 0
jmgrosen/nau7802-rs
Rust library for the NAU7802 I2C ADC using embedded-hal traits
Language:Rust1 0
jmgrosen/nixpkgs
Nix Packages collection
Language:Nix3 0
jmgrosen/online-experiments
Language:JavaScript
jmgrosen/PG
This repo is the new home of Proof General
Language:Emacs Lisp3 0
jmgrosen/quartz
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
Language:TypeScript0 0
jmgrosen/rhine-boids
boids simulation using rhine
Language:Haskell1 0
jmgrosen/sacn-rust
A Rust implementation of the ANSI E1.31 Streaming ACN protocol, tested against protocol version ANSI E1.31-2018.
Language:Rust1 0
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
Language:TeX2 0
jmgrosen/stm32f7xx-hal
A Rust embedded-hal HAL for all MCUs in the STM32 F7 family
jmgrosen/t-display-s3-amoled-rs
Rust code for T-Display S3 AMOLED, ESP32-S3 board with RM67162 AMOLED display
Language:Rust1 0