Ontology

Picard-Lindelöf theorem

{c}
{wiki}

If <Ciro Santilli> ever becomes rich, he's going to solve this with: <website front-end for a mathematical formal proof system>, promise.


QED manifesto

Mathematical proof

Particle detector

{c}

Stopped 2019 apparently. Shame. We need something to be upstreamed!

* source code: https://github.com/atrosinenko/qemujs
* demo: https://atrosinenko.github.io/qemujs-demo/
* demo source code: https://github.com/atrosinenko/qemujs-demo


QEMU.js

Wave

Cool looking <open source EDA tool>[open source EDA toolchain]:
* http://opencircuitdesign.com/qflow/
* https://github.com/RTimothyEdwards/qflow

They apparently even produced a real working small <RISC-V> chip with the flow, not bad.


qflow

Spam

{wiki}

= Units of measurement
{synonym}


Unit of measurement

Rock climbing

Test article

Test data 3

University ranking

K-ary tree

{c}
{wiki}

Dude's a legend. Sells company for a few million. Then forks the open source project next year. Love it.


Ciro Santilli @cirosantilli 40