Stars
Dynamic SLAM, Life-long SLAM Research(Lidar, Visual, Sensor Fusion etc.)
Collection of How-to documents for Ada
A curated list of awesome resources related to the Ada and SPARK programming language
Application Binary Interface for the Arm® Architecture
Compose practical distributed replication mechanisms
A curated list of resources for teaching kids programming.
A list of Free Software network services and web applications which can be hosted on your own servers
Machine learning framework for both deep learning and traditional algorithms
Bootable 64-bit Gentoo image for the Raspberry Pi4B, 3B & 3B+, with Linux 5.4, OpenRC, Xfce4, VC4/V3D, camera and h/w codec support, weekly-autobuild binhost
Cross-platform, customizable ML solutions for live and streaming media.
Small demo for android app in Ada/webAssembly
MITIE: library and tools for information extraction
Platform to submit RFCs for the Ada & SPARK languages
Make build automation tool using GPR project files to describe goals, dependencies and processes
NetCoreDbg is a managed code debugger with GDB/MI, VSCode DAP and CLI interfaces for CoreCLR.