Pinned Repositories
amatrix
Matrix implementation in Ada
continuous-verification
SPARK formal verification automated with Travis CI
esp32c3-ada
Ada SDK for the ESP32C3 RISC-V SoC
fibonacci-indentation
Instead of static levels, use fibonacci numbers to indent your code.
gnat-llvm-xtensa
LLVM based GNAT compiler for Xtensa
gpr-rust
Rust binding for gpr
imagejs
Small tool to package javascript into a valid image file.
ParkenDD
Android App for parking spots in Dresden.
STOTP
SPARK TOTP library
ParkAPI
🅿️ open API serving parking lot data for multiple cities
jklmnn's Repositories
jklmnn/imagejs
Small tool to package javascript into a valid image file.
jklmnn/ParkenDD
Android App for parking spots in Dresden.
jklmnn/gpr-rust
Rust binding for gpr
jklmnn/gnat-llvm-xtensa
LLVM based GNAT compiler for Xtensa
jklmnn/esp32c3-ada
Ada SDK for the ESP32C3 RISC-V SoC
jklmnn/adafb
SDL based Ada framebuffer library
jklmnn/aoc
My Advent of Code solutions
jklmnn/esp-idf-ada-bindings
Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF
jklmnn/airrohr-mqtt
Homeassistant compatible mqtt bridge for the Airrohr air sensor.
jklmnn/ceres
jklmnn/rc
jklmnn/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
jklmnn/Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
jklmnn/alire-index
Community index for the Alire project
jklmnn/aunit
jklmnn/awesome-ada
Awesome resources and other links related to the Ada programming language
jklmnn/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
jklmnn/DrawPhone
jklmnn/gpr
The framework for analyzing the GNAT Project (GPR) files
jklmnn/jkliemann-de
Website source files
jklmnn/nerd-fonts
Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more
jklmnn/rflx-tagged-types-for-sessions
jklmnn/RP-Soundboard
Easy to use soundboard for Teamspeak 3
jklmnn/run-clang-format
A wrapper script around clang-format, suitable for linting multiple files and to use for continuous integration
jklmnn/rustlings-solutions
:crab: Small exercises to get you used to reading and writing Rust code!
jklmnn/sachsen-impfnotifier
Tool that checks the vaccination portal of Saxony for available appointments for specified vaccination centres.
jklmnn/st7789-ada
Ada driver for the st7789 display
jklmnn/startup-gen
A startup code generator for embedded projects
jklmnn/tiny_text
Low resolution bitmap font with a small memory footprint
jklmnn/util-linux