4 ms·
Well they are trying to reach FOSS community. Recently they started survey asking community "Hello here, we (AdaCore) have some plan for the future of GNAT Comm
by jayp1418 6y ago
Well they are trying to reach FOSS community. Recently they started survey asking community "Hello here, we (AdaCore) have some plan for the future of GNAT Community that we want to share and have your opinion on: https://forms.gle/Q34myTCQUXvrva5n7 https://forms.gle/Q34myTCQUXvrva5n7
"
There is Ravenports very good port manager written in ada for FreeBSD so ada can be used for CLI apps and has good gtk binding too
- MaxBarraclough 6y agoA good sign, see also relevant discussion at [0]. I like the idea of a FORTH target that someone suggested. Are the higher assurance-levels of SPARK going to remain unavailable to FOSS developers, as they apparently are now? [1] [0] https://groups.google.com/forum/#!topic/comp.lang.ada/M3yS4STOEBw https://groups.google.com/forum/#!topic/comp.lang.ada/M3yS4S... [1] https://www.adacore.com/sparkpro https://www.adacore.com/sparkpro