3Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (opens in new tab)(blog.janestreet.com)4i_don_t_know5mo ago0Save
4Archimedes – A Python toolkit for hardware engineering (opens in new tab)(pinetreelabs.github.io)126i_don_t_know7mo ago15Save
5Why higher-order logic is a good formalisation for hardware (opens in new tab)(cl.cam.ac.uk)1i_don_t_know7mo ago1Save
6Algorithms for Optimization (second edition preview) [pdf] (opens in new tab)(algorithmsbook.com)PDF3i_don_t_know10mo ago1Save
9Synchronous Programming of Reactive Systems [pdf] (opens in new tab)(www-verimag.imag.fr)PDF2i_don_t_know1y ago0Save
