JK's repositories
gnat-llvm-xtensa
LLVM based GNAT compiler for Xtensa
esp32c3-ada
Ada SDK for the ESP32C3 RISC-V SoC
esp-idf-ada-bindings
Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF
airrohr-mqtt
Homeassistant compatible mqtt bridge for the Airrohr air sensor.
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
alire-index
Community index for the Alire project
awesome-ada
Awesome resources and other links related to the Ada programming language
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
gnatstudio-openocd-wrapper
OpenOCD wrapper that allows GNATStudio to connect to an OpenOCD instance that runs on a remote machine
gpr
The framework for analyzing the GNAT Project (GPR) files
jkliemann-de
Website source files
RP-Soundboard
Easy to use soundboard for Teamspeak 3
run-clang-format
A wrapper script around clang-format, suitable for linting multiple files and to use for continuous integration
rustlings-solutions
:crab: Small exercises to get you used to reading and writing Rust code!
sachsen-impfnotifier
Tool that checks the vaccination portal of Saxony for available appointments for specified vaccination centres.
st7789-ada
Ada driver for the st7789 display
startup-gen
A startup code generator for embedded projects