Discover @jklmnn Open Source projects

JK (@jklmnn)

jklmnn

Stars
1,003
Global Rank 30,521 (Top 2 %)
Followers 106
Following 44
Registered over 10 years ago
Most used languages

Ada
37.5 %

Python
16.7 %

C
8.3 %

Rust
8.3 %

Shell
8.3 %

C++
4.2 %

Dockerfile
4.2 %

HTML
4.2 %

Java
4.2 %

Makefile 4.2 %

imagejs

Small tool to package javascript into a valid image file.

ParkenDD

Android App for parking spots in Dresden.

gpr-rust

Rust binding for gpr

fibonacci-indentation

Instead of static levels, use fibonacci numbers to indent your code.

continuous-verification

SPARK formal verification automated with Travis CI

STOTP

SPARK TOTP library

esp8266-ada-example

ESP8266 Ada Example

amatrix

Matrix implementation in Ada

directory2rss

Generate an RSS feed from Apache and nginx index pages

broetchenrechner

adafb

SDL based Ada framebuffer library

greeter

Script that greets people who enter a network.

aoc

My Advent of Code solutions

esp32c3-ada

Ada SDK for the ESP32C3 RISC-V SoC

MicroTemPi

Raspberry Pi using a BBC Micro:Bit as temperature sensor

airrohr-mqtt

Homeassistant compatible mqtt bridge for the Airrohr air sensor.

base-linux-hw

docker-gnat

Fork of reznikmm/gnat from Bitbucket

esp-idf-ada-bindings

Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF

textvisualizer

Software to setup a raspberry pi to kiosk mode and print out the entered text as pixels in different colours.

quicksimd

ceres

petrographer

CI framework to run specialized tests

parkendd-status

Status checker for https://api.parkendd.de

sl3p

Simple Layer 3 Protocol