Open Hub
Open Hub
 

New Stack 1

The projects used for New Stack 1

S

 SSReflect
Notes:
GNU Emacs GNU Emacs
Community rating:
4
   

Notes:
Coq proof assistant Coq proof assistant
Community rating:
4
   

Notes:
OCaml OCaml
Community rating:
4
   

Notes:
LaTeX LaTeX
Community rating:
4
   

Notes:
Git Git
Community rating:
4
   

Notes:
Python programming language Python programming language
Community rating:
4
   

Notes:

C

 Contributions of the coq proof assistant
Notes:

T

 Tufte-LaTeX
Notes:
Scala Scala
Community rating:
4
   

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.

New Stack 1

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

D

6 more...