swhappe
There are 0 repository under swhappe topic.
Unipisa / OrbFit-Depository
SHWAPPE Depository of an astronomy library to compute orbits and ephemerides
Language:Fortran 1BapMel / 4CT-coq-v1.0
First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)
Language:CoqFirst version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)
Language:CoqRobertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem
Language:CRobertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem
Language:CSHWAPPE Depository of a Customisable Memory Manager
Language:C++SHWAPPE Workbench of a Customisable Memory Manager
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.
Language:FortranThis is the workbench for the acquisition of OrbFit, an astronomy library to compute orbits and ephemerides.
SWHAPPE Depository of the code for the CEP by Tonina Starita in 1968, to smoothen a curve.
Language:ForthThis is the workbench for the acquisition of the code developed for the CEP by Tonina Starita in 1968, to smoothen a curve.
A template for a repository supporting the acquisition of legacy source code.
- SWHAPPE
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
Language:Fortran