jklmnn/ParkenDD

Stars
26
Rank 930,752 (Top 19 %)
Language
Java
License
GNU General Publi...
Created almost 10 years ago
Updated almost 4 years ago

jklmnn/ParkenDD

jklmnn

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Android App for parking spots in Dresden.

imagejs

Small tool to package javascript into a valid image file.

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