Puncak Perangkat lunak Untuk Dmitry Kazakov

Unit pengukuran untuk perpustakaan Ada menyediakan implementasi nilai-nilai dimensioned untuk Ada. Pemeriksaan Unit yang dibuat pada saat run-time, jika tidak dioptimalkan oleh compiler. SI dan satuan pengukuran tidak teratur yang didukung.Unit Bergeser...

set Fuzzy untuk Ada adalah sebuah perpustakaan yang menyediakan implementasi dari faktor kepercayaan dengan operasi tidak, dan, atau, xor, +, dan *, klasik set kabur dengan operasi set-teori dan operasi dari teori kemungkinan, intuitionistic kabur set...

String mengedit adalah perpustakaan yang menyediakan I / O fasilitas untuk integer, floating-point, angka Romawi, dan string. Kedua input dan output subrutin mendukung tali pointer untuk pengolahan aliran konsekuen. Output dapat disesuaikan dalam bidang...

komponen sederhana untuk Ada merupakan komponen library open source untuk Ada yang implelents diarahkan grafik, smart pointer, set, tumpukan, peta, tabel, array tak terbatas, tali editing, ekspresi analisa, primitif sinkronisasi, struktur data kunci...