dpiponi/pifm
Minimal FM transmitter for raspberry pi
Developer Profile
dpiponi
Discovered public repositories for dpiponi in the GitHub catalog.
dpiponi/mini_fm
Minimal fm receiver for use with rtlsdr
dpiponi/hott-reloaded
My scratchpad while working through Homotopy Type Theory
dpiponi/nano
Some tools to compute energy levels for atomic structures drawn with ACII art
dpiponi/SASL
A simple and educational compiler for the SASL programming language
dpiponi/Monad-Python
A toy Python interpreter with monad comprehensions
dpiponi/Agda-Snippets
Proofs I write while teaching myself Agda
dpiponi/euler
Testing out target counting algorithms using Euler numbers
dpiponi/monads
A document about monads