Showing page 1 of 1.
Open Source Solid Modeling CAD1,979 weekly downloads
decida is [de]vice & [ci]rcuit [d]ata [a]nalysis. It is used for electron device characterization, procedural simulation/analysis of electronic circuits, or more general data analysis tasks.1 weekly downloads
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.0 weekly downloads