depository

There are 11 repositories under depository topic.

  • AxiomYT/File-Types

    Handy little list of used Windows File Types and what they're used for :)

    1100

  • LosharHammond/Mini_project

    Name of student: Loshar Hammond. IndexNo.:4215920

    Language:Python10

  • protons0010/multyplooy

    Multipage website

    Language:HTML110

  • Unipisa/OrbFit-Depository

    SHWAPPE Depository of an astronomy library to compute orbits and ephemerides

    Language:Fortran1301

  • BapMel/4CT-coq-v1.0-Depository

    First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)

    Language:Coq20

  • BapMel/4CT-Robertson1997-Depository

    Robertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem

    Language:C

  • Unipisa/CMM-Depository

    SHWAPPE Depository of a Customisable Memory Manager

    Language:C++30

  • Unipisa/Softi-Depository

    SWHAPPE Depository of the code for the CEP by Tonina Starita in 1968, to smoothen a curve.

    Language:Forth30

  • 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

    Language:Fortran40

  • yaowser/DDS-Case-Study-1

    This depository is Case Study 1 for Doing Data Science 6306 Section 401 Tuesdays at 9:30 - 11:00 PM EST, Cohort 2017 Spring semester at SMU -- "DDS-Case-Study-1" for short. Author: Yao Yao. This project was submitted through GitHub on RStudio version 1.0.136.

    Language:R10

  • yaowser/DDS-HW6

    This depository is Homework 6 for Doing Data Science 6306 Section 401 Tuesdays at 9:30 - 11:00 PM EST, Cohort 2017 Spring semester at SMU -- "DDS-HW6" for short. Authors: Yao Yao, Jason Cessna, Steven Stevenson. This project was submitted through GitHub on RStudio version 1.0.136.

    Language:R10