reznikmm / adalib Goto Github PK
View Code? Open in Web Editor NEWStandard Ada library specification as defined in Reference Manual
Standard Ada library specification as defined in Reference Manual
Hi Maxim,
I am thinking in generating some stub pages for the Ada Programming wikibook about all the missing Ada Standard Library units. I'd like to use your specifications, since they are already extracted and have correct syntax. You can see an example of what I'm trying to generate in Ada.Calendar page.
I assume that this will be in accordance to Ada Reference Manual copyright and your licence. I've written the source of the specification in the page history. Do you have any preference on that regard, for example, a direct link to this repository on every page?
I see a copy of all language-defined package specifications here annotated with a copyright notice reading
Copyright (c) 2003-2018 Maxim Reznik [email protected]
How can you put a copyright notice on something you do not own? The Ada RM is freely copyable, but that does not mean that you can put a copyright notice on your copy with your name.
It would have been a good idea to have a different commit for each language version and a release for each one of them. Then the git history would match the language evolution.
At least could be done in this way for the next Ada version.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.