Βιβλιοθήκες γραμμένες σε Ada
synth
Επόμενο εργαλείο δημιουργίας D/Ports για ζωντανά συστήματα (Alternative για εργαλεία Portmaster και Portupgrade) (από jrmarino).
- 244
- ISC
alire
Εργαλείο γραμμής εντολών από το έργο Alire και βιβλιοθήκη υποστήριξης.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Πηγαίος κώδικας Ada και πλήρη δείγματα έργων GNAT για επιλεγμένες πλατφόρμες γυμνού πίνακα που υποστηρίζονται από το GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
Το SPARK 2014 είναι η νέα έκδοση του SPARK, μιας τεχνολογίας ανάπτυξης λογισμικού που έχει σχεδιαστεί ειδικά για την κατασκευή εφαρμογών υψηλής αξιοπιστίας.
- 208
- GNU General Public License v3.0 only
ada_language_server
Διακομιστής που υλοποιεί το πρωτόκολλο γλώσσας Microsoft για το Ada και το SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
Το SPARK by Example είναι μια προσαρμογή του ACSL από το Example για τη SPARK 2014, μια γλώσσα προγραμματισμού που είναι επίσημα επαληθευμένο υποσύνολο της Ada.
- 146
aws
Το AWS είναι ένα πλήρες πλαίσιο για την ανάπτυξη εφαρμογών που βασίζονται στο Web στο Ada. (από την AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 εκ νέου υλοποίηση της βιβλιοθήκης κρυπτογράφησης TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Επίσημες προδιαγραφές και δημιουργία επαληθεύσιμων δυαδικών αναλυτών, γεννητριών μηνυμάτων και μηχανών κατάστασης πρωτοκόλλου.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Πλαίσιο για τη δημιουργία ασφαλών εφαρμογών ιστού υψηλής απόδοσης.
- 85
- Apache License 2.0
bare_bones
Πηγαίος κώδικας εκμάθησης ανάπτυξης Ada Bare Bones OS.
- 78
- GNU General Public License v3.0
gprbuild
Το GPRbuild είναι ένα προηγμένο σύστημα κατασκευής που έχει σχεδιαστεί για να βοηθά στην αυτοματοποίηση της κατασκευής πολυγλωσσικών συστημάτων..
- 55
- GNU General Public License v3.0
svd2ada
Μια γεννήτρια σύνδεσης Ada από περιγραφές SVD για συσκευές ARM γυμνής πλακέτας..
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Αυτό το έργο περιέχει διάφορα GNAT Ada Run Time Systems (RTS) που στοχεύουν σε πλακέτες Cortex: μέχρι στιγμής, το Arduino Due, τους πίνακες αξιολόγησης της σειράς STM32F4 από την STMicroelectronics και το BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only
VSS
Βιβλιοθήκη επεξεργασίας συμβολοσειρών και κειμένου υψηλού επιπέδου.
- 46
- GNU General Public License v3.0