jklmnn/esp32c3-ada

Stars
3
Rank 3,862,403 (Top 78 %)
Language
Ada
License
MIT License
Created over 2 years ago
Updated over 1 year ago

jklmnn/esp32c3-ada

jklmnn

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

Ada SDK for the ESP32C3 RISC-V SoC

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

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