Base stack

The base software I use.

Coq proof assistant Coq proof assistant
Community rating:
4
   

Notes:
MathJax MathJax
Community rating:
4
   

Notes:
vscoq vscoq
Community rating:
3
   

Notes:
Homebrew Homebrew
Community rating:
4
   

Notes:
Visual Studio Code Visual Studio Code
Community rating:
3
   

Notes:
The LLVM Compiler Infrastructure The LLVM Compiler Infrastructure
Community rating:
4
   

Notes:
fish shell fish shell
Community rating:
4
   

Notes:
vsclay vsclay
Notes:
Git Git
Community rating:
4
   

Notes:
clayoven clayoven
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.

Base stack

img avatar img avatar img avatar img avatar img avatar img avatar img avatar img avatar