Software

• ELEFANT (Efficient Learning, Large-scale Inference and Optimization Toolkit)
  • Indices and tables
• Interfacing ATRV-Jr™ to Ada
  • User interfaces
  • Low level interfaces
  • Formal packet data specification
  • Download
• Ada resources
  • Ada Compilers
  • Ada Specification and Comparisons
    • Ada Standards
    • Ada12
    • Ada05
    • Ada95
  • Tutorials
  • Software
  • Ada for Real-Time and Embedded Systems
  • Mailing lists
  • Books
    • Ada 2005
    • Ada 95
  • History of Ada
  • Mailing Lists
  • Ada Links