The projects used for Default
 |
sudo
Notes:
|
 |
LaTeX
Notes:
|
|
C |
Cryptolysis
Notes:
|
|
T |
The Archive of Formal Proofs
Notes:
|
|
F |
Ftklipse
Notes:
|
 |
Isabelle
Notes:
|
|
O |
Open Stereoscopic 3D Plug-in Collection
Notes:
|
|
G |
General Intensional Programming System
Notes:
|
What is a Stack?
It's a list of software used to accomplish something. LAMP is an example.
To add a project to your stack, click 'Show Recommendations for this Stack' at the top middle of this page and then click 'I use this' on the projects you use.
Embed
Show the world what open source projects you use.
Default Stack
90 more...
