software-heritage
There are 25 repositories under software-heritage topic.
SoftwareHeritage/swh-indexer
GitHub mirror of Metadata indexer
Unipisa/OrbFit
an astronomy library to compute orbits and ephemerides
Unipisa/CMM
a Customisable Memory Manager
Unipisa/OrbFit-Depository
SHWAPPE Depository of an astronomy library to compute orbits and ephemerides
Unipisa/TAUmus
TAUmus is the software controlling the real-time computer-music system TAU2-TAUMUS, developed in the 70's of the XX century at the IEE and CNUCE in Pisa under the leadership of Maestro P. Grossi.
bettygorf/LeLisp-Workbench
SWHAP of Le Lisp
GuilloteauQ/swh-bibtex
Generate bibtex entry with the Software-Heritage sugar
Ramy-Badr-Ahmed/php-swh-client
Software Heritage API Client - https://doi.org/10.5281/zenodo.12808864
Unipisa/CMM-Workbench
SHWAPPE Workbench of a Customisable Memory Manager
Unipisa/MAGMA-Lisp-Workbench
MAGMA-Lisp is an extended Lisp interpreter for non-deterministic programming, developed at the Istituto di Scienze dell'Informazione (ISI) of the University of Pisa in the nineteen seventies.
BapMel/4CT-coq-v1.0
First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)
BapMel/4CT-coq-v1.0-Depository
First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)
BapMel/4CT-Robertson1997
Robertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem
BapMel/4CT-Robertson1997-Depository
Robertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem
clg55/Macrofort
Fortran Code Generatur in Maple
rahulunair/shapi
A Python client to interact with Software Heritage API
Unipisa/CMM-Depository
SHWAPPE Depository of a Customisable Memory Manager
Unipisa/OrbFit-Workbench
This is the workbench for the acquisition of OrbFit, an astronomy library to compute orbits and ephemerides.
Unipisa/Softi
Code developed for the CEP by Tonina Starita in 1968, to smooth a curve.
Unipisa/Softi-Depository
SWHAPPE Depository of the code for the CEP by Tonina Starita in 1968, to smoothen a curve.
Unipisa/Softi-Workbench
This is the workbench for the acquisition of the code developed for the CEP by Tonina Starita in 1968, to smoothen a curve.
Unipisa/SWHAP-TEMPLATE
A template for a repository supporting the acquisition of legacy source code.
Unipisa/SWHAPPE
Software Heritage Acquisition Process Pisa Enactor
Unipisa/TAUmus-Depository
TAUmus is the software controlling the real-time computer-music system TAU2-TAUMUS, developed in the 70's of the XX century at the IEE and CNUCE in Pisa under the leadership of Maestro P. Grossi