Pinned Repositories
amazon-freertos
IoT operating system for microcontrollers.
cognitivebuilder
esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
flatcc
FlatBuffers Compiler and Library in C for C
ipywidgets
Interactive Widgets for the Jupyter Notebook
Keyboard
Virtual Keyboard using jQuery UI ~
nbexport
Export jupyter notebooks to .py like nbdev but lighter
observer
Python observer class to support data flow programming. Similar to py-notify but simpler. Provides a `Variable` class with support for blocking, and an `Algorithm` class that coalesces updates from blocked inputs
tlaplus-experiments
TLA Plus specifications for a couple of common problems, including the farmer-goat-wolf-cabbage riddle
vim-multisplit
A vim plugin that overloads window motion keys to adjust window widths
danhorner's Repositories
danhorner/vim-multisplit
A vim plugin that overloads window motion keys to adjust window widths
danhorner/amazon-freertos
IoT operating system for microcontrollers.
danhorner/cognitivebuilder
danhorner/esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
danhorner/flatcc
FlatBuffers Compiler and Library in C for C
danhorner/ipywidgets
Interactive Widgets for the Jupyter Notebook
danhorner/Keyboard
Virtual Keyboard using jQuery UI ~
danhorner/nbexport
Export jupyter notebooks to .py like nbdev but lighter
danhorner/observer
Python observer class to support data flow programming. Similar to py-notify but simpler. Provides a `Variable` class with support for blocking, and an `Algorithm` class that coalesces updates from blocked inputs
danhorner/tlaplus-experiments
TLA Plus specifications for a couple of common problems, including the farmer-goat-wolf-cabbage riddle
danhorner/UDR
A UDT wrapper for rsync that improves throughput of large data transfers over long distances.
danhorner/zed-tla-extension
TLA+ Syntax highlighting for the Zed editor