The projects used for My software
Debian
Notes:
|
|
OCaml
Notes:
|
|
LaTeX
Notes:
|
|
GNU Emacs
Notes:
|
|
Why3
Notes:
|
|
B |
bibtex2html
Notes:
|
Coq proof assistant
Notes:
|
|
W |
Why
Notes:
|
Frama-C
Notes:
|
|
A |
Alt-Ergo
Notes:
|
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.
Show the world what open source projects you use.