Κορυφή Λογισμικό για Dmitry Kazakov

Μονάδες μέτρησης για Ada βιβλιοθήκη παρέχει μια υλοποίηση του διαστάσεις τιμές για Ada. Οι έλεγχοι γίνονται Μονάδα κατά τον χρόνο εκτέλεσης, αν δεν έχει βελτιστοποιηθεί από τον compiler. SI και ακανόνιστα μονάδες μέτρησης υποστηρίζονται.Μετατοπίζονται...

Ασαφή σύνολα για Ada είναι μια βιβλιοθήκη που παρέχει υλοποιήσεις των παραγόντων εμπιστοσύνης με τις παρεμβάσεις όχι, και, ή, XOR, + και *, κλασική ασαφών συνόλων με τις παρεμβάσεις συνολοθεωρητικά και οι εργασίες της θεωρίας δυνατότητα, διαισθητικά ασαφή...

Χορδές επεξεργασία είναι μια βιβλιοθήκη που παρέχει I / O εγκαταστάσεις για ακέραιο, floating-point, λατινικούς αριθμούς, και έγχορδα. Και οι δύο υπορουτίνες εισόδου και εξόδου υποστηρίζουν δείκτες κορδόνι για επακόλουθη επεξεργασία ρεύμα. Η έξοδος μπορεί...

Απλή συστατικά για Ada είναι ένα open source βιβλιοθήκη συστατικό για Ada ότι implelents κατευθυνόμενα γραφήματα, έξυπνη δείκτες, σύνολα, στοίβες, χάρτες, πίνακες, απεριόριστη συστοιχίες, επεξεργασία εγχόρδων, αναλυτές έκφρασης, πρωτόγονων συγχρονισμός,...