| user: | i_don_t_know |
| created: | June 3, 2015 |
| karma: | 874 |
| about: | peter dot ilberg at gmail dot com https://www.linkedin.com/in/peter-ilberg/ |
| 1. | The Sinclair ZX Spectrum White Edition(heise.de) |
| 2. | Lean-TUI for the lean proof assistant(codeberg.org) |
| 3. | Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations(blog.janestreet.com) |
| 4. | Archimedes – A Python toolkit for hardware engineering(pinetreelabs.github.io) |