albertklee's repositories
Ada-C-Comparison-Leaflets
These are simple programs written in Ada and C to compare syntax and structure
Language:AdaGPL-3.0000
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Language:PythonCC-BY-SA-4.0000
AdaFractal
This is a simple fractal generator that uses AWS for visualization
Language:AdaMIT000
Language:AdaMIT000
Language:AdaMIT000
AdaRoombot
Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.
Language:AdaMIT000
codepeer_docker_demo
A demo using CodePeer with a docker setup
Language:Ada000
Language:AdaMIT000
lalfuscator
Libadalang based source obfuscator
Language:PythonNOASSERTION000
language-examples
Examples of common software engineering constructs written in Ada and SPARK
Language:Ada000
Primes
Prime Number Projects in C#/C++/Python
Language:C000
safety-profile-checker
Ada 95 Safety profile checkers for applications aligning with FACE (Trademark) Technical Standard.
GPL-3.0000
SPARKZumo
SPARK for Arduino using Zumo Arduino Shield
Language:AdaMIT000