欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Fritzing:是一个开源(GPL v3)电路图和电子设计自动化软件,支持 Arduino 和 树莓派。
面包板
原理图
PCB
代码