JK — Vaya

imagejs. Small tool to package javascript into a valid image file.

902

ParkenDD. Android App for parking spots in Dresden.

26

gpr-rust. Rust binding for gpr

17

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

13

gnat-llvm-xtensa. LLVM based GNAT compiler for Xtensa

10

STOTP. SPARK TOTP library

9

esp32c3-ada. Ada SDK for the ESP32C3 RISC-V SoC

9

directory2rss. Generate an RSS feed from Apache and nginx index pages

8

continuous-verification. SPARK formal verification automated with Travis CI

8

esp8266-ada-example. ESP8266 Ada Example

7

amatrix. Matrix implementation in Ada

6

broetchenrechner. HTML

5

adafb. SDL based Ada framebuffer library

4

esp-idf-ada-bindings. Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF

4

greeter. Script that greets people who enter a network.

3

aoc. My Advent of Code solutions

3

airrohr-mqtt. Homeassistant compatible mqtt bridge for the Airrohr air sensor.

3

MicroTemPi. Raspberry Pi using a BBC Micro:Bit as temperature sensor

2

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

1

quicksimd. Python

1

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

1

base-linux-hw. C++

1

st7789-ada. Ada driver for the st7789 display

1

sl3p. Simple Layer 3 Protocol

1

rc. Lua

1

docker-gnat. Fork of reznikmm/gnat from Bitbucket

1

ceres. Shell

1

petrographer. CI framework to run specialized tests

1

genode. Genode OS Framework

1