1JupyterCAD – A JupyterLab extension for 3D geometry modeling (opens in new tab)(github.com)GitHub4globuous3y ago0Save
2An accessible introduction to type theory and implementing a type-checker (opens in new tab)(mukulrathi.com)2globuous4y ago0Save
