Popular repositories Loading

1. hello-world hello-world Public

   Tentativi e disastri

2. ScienzaList ScienzaList Public

   Forked from Scienza/ScienzaList

   Awesome list di risorse e link di scienza

3. reveal.js reveal.js Public

   Forked from hakimel/reveal.js

   The HTML Presentation Framework

   JavaScript

4. SETHEO SETHEO Public

   Forked from theoremprover-museum/SETHEO

   The SETHEO theorem prover (C version)

   C

5. AM3 AM3 Public

   Notes taken during a course in Mathematical Analysis (basic measure theory and sequences and series of functions).

   TeX

6. vim-snippets vim-snippets Public

   Forked from honza/vim-snippets

   vim-snipmate default snippets (Previously snipmate-snippets)

   Python