wyager

I do hardware (circuitry, embedded systems, FPGAs, fabrication), security (reversing, cryptography), and CS (type theory, automata theory, formal verification)

Pinned Repositories

Callsigns
A program that generates available 5-digit callsigns that look like English words
Language:Haskell10 3 01
CPU
CPU Building Tutorial
Language:Haskell50 6 16
Example-Distributed-App
An example distributed systems application in Haskell using Cloud Haskell
Language:Haskell69 7 111
HaSKI
Cλash/Haskell FPGA-based SKI calculus evaluator
Language:Verilog48 8 03
LEDStrip
An LED music visualizer
Language:C74 9 35
MicroMechBoard
Source files and schematics for a very small, 33-key mechanical keyboard
Language:Eagle299 30 339
Neks
A dead simple networked key/value store
Language:Haskell115 12 011
PythonEyeDetection
Detects eyes, irises, and pupils
Language:Python43 6 336
vumeter
A nixie tube audio meter
Language:C++19 5 07
zfs-backup
A simple tool for backing up and rotating ZFS snapshots
Language:Haskell11 4 01

wyager's Repositories

wyager/Example-Distributed-App
An example distributed systems application in Haskell using Cloud Haskell
Language:Haskell69 7 111
wyager/vumeter
A nixie tube audio meter
Language:C++19 5 07
wyager/zfs-backup
A simple tool for backing up and rotating ZFS snapshots
Language:Haskell11 4 01
wyager/Callsigns
A program that generates available 5-digit callsigns that look like English words
Language:Haskell10 3 01
wyager/metastrip
Utility for stripping image metadata
Language:Haskell10 3 02
wyager/astro
Astrophotography
Language:Jupyter Notebook5 4 0
wyager/smap
Set and map operations for the command line
Language:Haskell3 2 01
wyager/sunset
SSH for Rust, no_std and elsewhere
Language:Rust2
wyager/dalloc
Messing around with storage
Language:Haskell1 3 0
wyager/Dist
A Haskell library for probability distributions
Language:Haskell1 3 11
wyager/htmx-haskell-hello
Language:Haskell1 2 01
wyager/shamir
Simple Shamir's Secret Sharing Scheme
Language:Haskell1 3 0
wyager/adsb-manager
Language:Haskell3 0
wyager/adsb-repeater
Language:Haskell3 0
wyager/artnet
Haskell bindings for artnet
Language:Haskell2 0
wyager/clash-protocols
a battery-included library for dataflow protocols
Language:Haskell0 0
wyager/defmt
Efficient, deferred formatting for logging on embedded systems
Language:Rust
wyager/electrs
An efficient re-implementation of Electrum Server in Rust
Language:Rust2 0
wyager/electrum-server
Electrum server
Language:Python2 0
wyager/embassy
Modern embedded framework, using Rust and async.
Language:Rust1 0
wyager/Encrypted-HD-wallet
An implementation of a draft standard for an encrypted deterministic wallet
Language:Python4 02
wyager/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Language:Python1 0
wyager/innernet
A private network system that uses WireGuard under the hood.
wyager/Juicy.Pixels
Haskell library to load & save pictures
Language:Haskell2 0
wyager/midi-msg
A (eventually) complete representation of the MIDI 1.0 Detailed Specification and its many extensions and addenda, to allow for the serialization and deserialization of MIDI byte streams to and from a typed representation.
Language:Rust1 0
wyager/NanoMechBoard
Language:C3 0
wyager/phaser
Language:Haskell2 0
wyager/teensy-4-spdifIn
spdif input for teensy 4
Language:C++2 0
wyager/ultraquery
Query language
Language:Haskell3 0
wyager/xorbackup
Language:Python3 0