This instance was upgraded to Heptapod 17.7.0rc1 on 2025-01-23

All legacy (hg-git based) Projects will be automatically migrated to native starting with the upgrade of 2025-01-23

Explore projects

isa-afp / afp-2019

Isabelle2019 release of the Archive of Formal Proofs

0

Updated Jun 23, 2020

0 0 0

Updated Jun 23, 2020
PyPy / extradoc

"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.

1

Updated Sep 19, 2022

1 0 0 1

Updated Sep 19, 2022
F

fluiddyn / fluiddyn_papers
Creative Commons Attribution Non Commercial No Derivatives 1.0 Generic

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
2

heptapod / slides / 2020-FOSDEM

0

Updated Feb 07, 2020

0 0 0 0

Updated Feb 07, 2020
2

heptapod / slides / 2019-PyConFR

Presentation of Heptapod in French at PyConFR2019

0

Updated Nov 04, 2019

0 0 0 0

Updated Nov 04, 2019
2

heptapod / slides / 2019-hg-paris

Slides for a Heptapod presentation at Mercurial Conference - Paris 2019

0

Updated Jul 28, 2024

0 0 0 0

Updated Jul 28, 2024