Pinned Repositories
cachehog
IPC via cache timing (experiment)
ceburilo
Find free VETURILO routes http://www.ceburilo.pl
coq-todomvc
Write Web Apps Like Mathematical Equations! (in Coq)
crappy_cloud
HTML9 buzzword demo
haskell-nullpointer
NullPointerExceptions in Haskell
oTranscribe
A free & open tool for transcribing audio interviews
purescript-concur
[ABANDONED] An attempt to port the concur library to PureScript.
purescript-frp-hack
type-level-web-server
xdcommits
All the fun of lolcommits without installing Ruby
zyla's Repositories
zyla/coq-todomvc
Write Web Apps Like Mathematical Equations! (in Coq)
zyla/esp-xkcd
zyla/purs-oxide
zyla/esp-osm-rs
zyla/banana
I like bananas
zyla/embassy
Modern embedded framework, using Rust and async.
zyla/esp-hal
no_std Hardware Abstraction Layers for ESP32 microcontrollers
zyla/esp-idf
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
zyla/esp-idf-hal
embedded-hal implementation for Rust on ESP32 and ESP-IDF
zyla/esp-idf-svc
Type-Safe Rust Wrappers for various ESP-IDF services (WiFi, Network, Httpd, Logging, etc.)
zyla/esp-jokes-rs
zyla/esp32-idf-sqlite3
Sqlite library for esp-idf (esp32) framework
zyla/geojson
Library for serializing the GeoJSON vector GIS file format
zyla/gitpod-dotfiles
zyla/haskell-ddp-server
zyla/haskell-opaleye
zyla/image-interleaver
zyla/incremental-png
zyla/large-records
Library to support efficient compilation of large records (linear in the number of record fields)
zyla/notes
zyla/pax
Fork of https://pax.js.org (see https://www.reddit.com/r/rust/comments/g1v6oi/whatever_happened_to_paxjs/)
zyla/quantum-vacuum
zyla/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
zyla/ssd1306
SSD1306 OLED driver
zyla/stack-recompilation-repro
zyla/temperature-logger-rs
zyla/time
Simple time handling in Rust
zyla/weight-logger
zyla/withoutbuffers
zyla/xpt2046
Rust driver for XPT2046 touch controller