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