Biblioteker skrevet i Ada
COVID-19_Simulator
Qt5 COVID-19 simulator. Ada kode under motorhjelmen.:overrasket: 🤯:metal:.
- 11
- MIT
daikin2mqtt
En softwarebro mellem visse populære Daikin™ HVAC-enheder og MQTT..
- 11
- GNU General Public License v3.0 only
ews
Den indlejrede webserver er designet til brug i indlejrede systemer med begrænsede ressourcer (f.eks. ingen disk). Det understøtter både statiske (konverteret fra et standard webtræ, inklusive grafik og Java-klassefiler) og dynamiske sider. Det er skrevet i GCC Ada..
- 10
- GNU General Public License v3.0 only
basalt
Indsamling af formelt verificerede byggeklodser (af Componolit).
- 9
- GNU Affero General Public License v3.0
analytical-engine
En Ada 2012-emulering af Charles Babbages analytiske motor.
- 9
- GNU General Public License v3.0
notcursesada
Ada-bindinger til notcurses-tekstbrugergrænsefladebiblioteket.
- 8
- GNU General Public License v3.0
inotify-ada
Et Ada 2012-bibliotek til overvågning af filsystemhændelser ved hjælp af Linux' inotify API.
- 8
- Apache License 2.0
coldframe
ColdFrame genererer Ada-rammekode og dokumentation fra UML-modeller.
- 7
- GNU General Public License v3.0 only
tcladashell
Ada binding til Tcl/Tk. Bemærk, ophavsretten er GPL 2.0 + GMGPL.
- 6
- GNU General Public License v3.0 only
BBS-BBB-Ada
En samling af Ada-kilder til at arbejde med Linux-baserede indlejrede computere, såsom BeagleBone Black eller Raspberry Pi.
- 6
- GNU General Public License v3.0 only
Encryption-utilities
Hjælpeprogrammer til krypteringsalgoritmerne inkluderet i PragmAda Genanvendelige komponenter.
- 5
- GNU General Public License v3.0