The base software I use.
Coq proof assistant
Notes:
|
|
MathJax
Notes:
|
|
vscoq
Notes:
|
|
Homebrew
Notes:
|
|
Visual Studio Code
Notes:
|
|
The LLVM Compiler Infrastructure
Notes:
|
|
fish shell
Notes:
|
|
vsclay
Notes:
|
|
Git
Notes:
|
|
clayoven
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.