Alire: Ada Has a Package Manager - TIB AV-Portal

Alire: Ada Has a Package Manager

00:00

Related Material

Chouteau, Fabien Rodat, Pierre-Marie de Mosteo, Alejandro

Formal Metadata

Title

Alire: Ada Has a Package Manager

Title of Series

Number of Parts

Author

Chouteau, Fabien

Rodat, Pierre-Marie de

Mosteo, Alejandro

License

CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.

Identifiers

10.5446/47040 (DOI)

Publisher

Release Date

Language

Content Metadata

Subject Area

Computer Science

Genre

Conference/Talk

Abstract

Alire (Ada LIbrary REpository) is a package manager project for the Ada/SPARK community. The goal of a package manager is to facilitate collaboration within the community and to lower the barrier of entry for beginners. In this talk we will present the Alire project, what it can do for you and how you can contribute and give more visibility to your Ada/SPARK projects. We will also provide a tutorial to show how to use Alire to create a library and then publish it for others to use.

Speech

Text

Image

00:00

Maxima and minimaDemo (music)System programmingCompilerPresentation of a groupRepository (publishing)BitProjective planeMereologyComputing platformInstallation artMultiplication signFormal languageDemo (music)QuicksortForm (programming)Product (business)Computer animation

01:51

Physical systemTask (computing)Forcing (mathematics)FrequencyGoodness of fitReal numberData managementElectronic mailing listProjective planeTheory of relativityComputer animation

02:32

CodeInformation securityDemo (music)Software testingSoftwareWeb 2.0Software repositoryBeta functionRight angleAxonometric projectionBinary fileRevision controlBinary codeComputing platformProjective planeCollaborationismBeta functionMultiplication signFunctional (mathematics)Computer programmingProgrammer (hardware)Vulnerability (computing)Single-precision floating-point formatSoftware bugStability theoryView (database)Point (geometry)Demo (music)Game theoryGroup actionFeedbackCodeData managementWindowCore dumpPerspective (visual)Integrated development environmentRevision controlExpected valueSoftwareNumberClosed setMereologyDescriptive statisticsTouch typingRepository (publishing)Proper mapTerm (mathematics)MomentumVirtual machineTraffic reportingException handlingTaylor seriesTorusDemosceneCategory of beingObservational studyLine (geometry)Workstation <Musikinstrument>Level (video gaming)Form (programming)Control flowSoftware developerNeuroinformatikINTEGRALQuicksortComputer animation

09:17

ImplementationRevision controlSoftware frameworkComputer programFunction (mathematics)String (computer science)Convex hullHuffman codingSoftware developerSource codeSoftware testingNeuroinformatikProjective planeSoftwareMetropolitan area networkGodHypermediaProduct (business)Information retrievalComputer animation

10:00

Data structureRepository (publishing)Type theoryPrice indexFunction (mathematics)Interactive televisionBitSubject indexingProjective planeRepository (publishing)Connectivity (graph theory)Point (geometry)Open sourceFlow separationSoftwareProduct (business)Metropolitan area networkLogic gateSource codeLine (geometry)Computer animation

11:16

Price indexInteractive televisionFunction (mathematics)Type theoryFormal languageComputing platformSource codeBinary filePhysical systemFormal languageProjective planeOpen sourceSoftware developerDistribution (mathematics)Physical systemInterface (computing)Source codeMereologyData managementBinary codeComputing platformPressureCompilerLie groupMultiplication sign1 (number)Thomas BayesXMLComputer animation

12:42

Revision controlType theoryArithmetic meanSoftware developerWordSemantics (computer science)Decision theoryTerm (mathematics)Revision controlData managementProjective planeComputer animation

13:20

GradientRevision controlPatch (Unix)Function (mathematics)Directed setComputer virusNetwork topologyCache (computing)Projective planeElectronic mailing listComputer fileMiniDiscRevision controlCombinational logicControl systemProduct (business)Complete metric spaceComputer animation

14:26

Network topologyComputer virusCache (computing)Price indexRevision controlCompilation albumSoftware testingLibrary catalogElectric currentSubject indexingConfiguration spaceSubsetString (computer science)InformationVariable (mathematics)Letterpress printingIntegrated development environmentRule of inferenceDirectory serviceComputer fileFluid staticsStack (abstract data type)Link (knot theory)BuildingParsingProbability density functionPortable communications deviceProjective planeFamilyType theoryInternet service providerAreaComputer fileWeb 2.0Core dumpSpeciesSquare numberSoftwareConfiguration spaceSubject indexingData managementElectronic mailing listoutputGraph coloringFile formatDirectory serviceDemo (music)Library (computing)Binary fileSound effectProbability density functionComputer animationXML

17:01

Directory serviceFluid staticsDemo (music)ParsingProbability density functionPortable communications deviceComputer fontStack (abstract data type)BuildingCompilerProcess (computing)Sound effectProjective planeRight angleSource codeComputer fileParsingSoftwareSource codeComputer animation

17:55

Link (knot theory)ParsingProbability density functionPortable communications deviceCache (computing)Directory serviceFluid staticsObject (grammar)Real numberLine (geometry)Turm von HanoiSource codeComputer fileResultantFunction (mathematics)Statement (computer science)BootingExtension (kinesiology)Open setSource code

19:03

Stack (abstract data type)Directory serviceFluid staticsLink (knot theory)Configuration spaceComputer fileInstance (computer science)Multiplication signPoint (geometry)Set (mathematics)Computer programmingRevision controlSystem callComputer animationLecture/Conference

19:50

Link (knot theory)Fluid staticsDirectory serviceCache (computing)Electronic mailing listParsingPortable communications deviceProbability density functionSource codeCompilerMultiplicationStack (abstract data type)Structural loadConfiguration spaceProbability density functionComputer fileProjective planeElectronic mailing listProcedural programmingSource code

20:53

Real numberComputer fileDisk read-and-write headHill differential equationGlass floatLine (geometry)Duality (mathematics)Probability density functionTotal S.A.Personal identification numberElectronic mailing listParsingPortable communications deviceSource codeComputer fileConfiguration spaceType theoryGraph coloringResultantReal numberProbability density functionFunction (mathematics)RectangleSquare numberFamilyPanel painting

21:54

Computer-generated imageryCache (computing)Link (knot theory)Function (mathematics)Error messageSynchronizationPrice indexPrototypeDemo (music)Projective planeComputer fileRevision controlMultiplication signSubject indexingLibrary catalogElectronic mailing listRepository (publishing)CloningInternetworkingSoftware maintenanceSoftwareConfiguration spaceAuthorizationFreewareContext awarenessFrustrationBootingMoment (mathematics)SineWeightVideo projectorOrder (biology)ThumbnailState of matterInterior (topology)WebsiteMachine visionComputer animationSource codeXML

25:22

Function (mathematics)EmpennageLink (knot theory)Error messageSynchronizationPrice indexNetwork topologyDirectory serviceComputer fileReading (process)Subject indexingComputer fileProjective planeRevision controlSource codeFile formatInternetworkingSound effectFile archiverSource codeComputer animation

26:36

Price indexComputer fileDirectory serviceTorusBuildingAsynchronous Transfer ModeData typeParsingFluid staticsProjective planeDirectory servicePoint (geometry)Subject indexingTheory of relativityRight angleInformationMereologySource codeElectronic mailing listComputer fileLoginAuthorizationDescriptive statisticsSoftware maintenance

29:02

Price indexModul <Datentyp>Template (C++)Hash functionData typeFluid staticsComputer fileNetwork topologySkeleton (computer programming)Directory serviceDescriptive statisticsProjective planeSource codeSubject indexingSoftware maintenanceSoftwareInternetworkingMereologyDirectory serviceComputer fileFile archiverRight angleCycle (graph theory)Computer animation

30:48

Computer fileHash functionAsynchronous Transfer ModeFluid staticsData typeDirectory serviceError messageEmailCategory of beingData integritySoftware maintenanceTrailFile archiverSource codeProjective planeCycle (graph theory)Digital electronicsInformation securitySource codeComputer animation

31:35

Data integrityPrice indexError messageCategory of beingEmailTemplate (C++)Modul <Datentyp>Hash functionData typeFluid staticsNetwork topologyFunction (mathematics)Directory serviceComputer fileCompilation albumProcess (computing)CodeFile archiverSource codeProjective planeGradientMathematical optimizationSource codeComputer animation

32:34

Compilation albumDirectory serviceComputer fileProcess (computing)RootError messageCodeFunction (mathematics)Hash functionData typeAsynchronous Transfer ModeProjective planeData modelRevision controlConstraint (mathematics)Closed setWeightVotingComputer animationSource code

33:51

Electronic mailing listCompilation albumRootError messageCodeProcess (computing)ParsingProbability density functionPortable communications deviceDemo (music)Software maintenanceHash functionRevision controlCompilerOcean currentSubject indexingRevision controlNumberProjective planeMachine visionRight angleSource codeComputer animation

34:39

Hash functionFluid staticsData typeAsynchronous Transfer ModeDirectory serviceVideo projectorLine (geometry)Stack (abstract data type)Physical systemComputer-generated imageryDemo (music)Link (knot theory)Price indexEmpennageFunction (mathematics)SynchronizationError messageRevision controlData modelDifferent (Kate Ryan album)AreaProjective planeProbability density functionFunction (mathematics)HypermediaGroup actionDemo (music)Source codeComputer animation

35:29

Price indexInstance (computer science)InformationPhysical systemWeb pageElectronic mailing listGame theoryCuboidPresentation of a groupOpen setProcess (computing)Subject indexingRepository (publishing)Descriptive statisticsBitPrototypeFile formatFeedbackProjective planeFrequencyWebsiteProof theoryDifferent (Kate Ryan album)Lie groupOnline helpJunction (traffic)Convex hullFamilyVideoconferencingSource codeXML

38:43

Right angleProjective planeConfiguration spaceTheoryDefault (computer science)Multiplication signReading (process)Instance (computer science)Dynamical systemView (database)Point (geometry)Variable (mathematics)Computer fileFluid staticsLecture/Conference

40:24

Physical systemDemo (music)Directory serviceCache (computing)Computer fileDigital libraryInformationRhombusSoftware maintenanceComputer architectureLoginPoint (geometry)MicrocontrollerFamilyCASE <Informatik>Electronic mailing listSpacetimeComputer fileNumbering schemeRevision controlLevel (video gaming)Profil (magazine)Field (computer science)Right angleOpen sourceView (database)Projective planeSoftware developerBitGroup actionInstance (computer science)Menu (computing)Game theoryLie groupVariable (mathematics)Flow separationEmailDevice driverCuboidHeuristicSet (mathematics)Mathematical optimizationFeedbackComplex (psychology)Data modelSubject indexingLimit (category theory)Lecture/Conference

49:11

Function (mathematics)Directory serviceError messageComputer fileSynchronizationOpen sourcePoint cloudSource code

Transcript: Englisch(auto-generated)