Paul Horsfall

I'm a computer programmer based in Leeds in the UK. The best way to contact me is to send an email to horsfallp@gmail.com.

• Probabilistic Programming with Typed Traces in Lean
• arcv.me – Minimalist web page archiving
• Homebrew SDR Receiver
• Sampling Scope Prototype
• frost – A simple RISC-V CPU implemented in Verilog
• iCE40 break-out PCB – A development board for the Lattice iCE40 FPGA

• GitHub
• Google Scholar