Code for temperature logger project. Project uses Rasbperry pi and Adafruit DHT22 temperature / humidity sensors.
☆33Aug 28, 2022Updated 3 years ago
Alternatives and similar repositories for DHT22-TemperatureLogger
Users that are interested in DHT22-TemperatureLogger are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- exFAT FUSE implementation☆10Dec 11, 2021Updated 4 years ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- eclipse plugin to support side-by-side proofs and code☆25Dec 18, 2018Updated 7 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- Midea IOT SDK for android release☆18Sep 13, 2017Updated 8 years ago
- PowMr 4500W/6500W Inverter communication protocol☆17Sep 3, 2024Updated last year
- Sunrise Simulation for TP-Link Kasa color lightbulbs☆13Mar 3, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A formally verified implementation of differential dynamic logic in Coq☆20May 16, 2022Updated 4 years ago
- Open source hardware CAD for the tiny-bike☆15Jul 31, 2018Updated 7 years ago
- rtorrent <- rtremote <- rtorrent remote☆17Jun 11, 2021Updated 4 years ago
- ☆13May 3, 2018Updated 8 years ago
- Binary logical relations library for the Coq proof assistant☆23Mar 26, 2026Updated last month
- A tool to download Google Map images☆13Jul 11, 2023Updated 2 years ago
- Network server for controlling a led matrix board connected to a Raspberry Pi☆12Mar 26, 2019Updated 7 years ago
- It keeps iRobot Create specific packages☆24Apr 7, 2019Updated 7 years ago
- Play instruments in real time with other players☆16Apr 16, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Mar 21, 2023Updated 3 years ago
- Docker build script for Arch Linux base with TigerVNC, noVNC, and OpenBox☆12Mar 28, 2026Updated last month
- Decrypts RSDF, CFF and DLC files using a web service☆15Nov 20, 2018Updated 7 years ago
- Virtual Machine built as a CAmkES component.☆25Updated this week
- Create pull requests for blog comments posted via a form (v1 function)☆20Jul 1, 2021Updated 4 years ago
- Cheap Yellow Display System Monitor using Glances API☆18Feb 17, 2025Updated last year
- Pyhthon Scripts for Pimoroni Scroll pHat HD☆13Oct 9, 2024Updated last year
- Repack any Switch Shofel2/Fusee-Gelee bin to TX compatible boot.dat☆11Mar 30, 2019Updated 7 years ago
- Java API to be used with Gazelle, specifically What.CD☆27Jan 23, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- Library for controlling Midea AC devices via their cloud☆20Oct 4, 2020Updated 5 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆27May 28, 2020Updated 5 years ago
- command-line GPS telemetry extractor for GoPro☆18Mar 27, 2025Updated last year
- A JS module that gets Twitch emotes. https://www.npmjs.com/package/twitch-emoticons☆19Dec 22, 2022Updated 3 years ago
- A exploratory introduction to C++ Standard Template Library <Work In Progress>☆15Sep 7, 2023Updated 2 years ago
- UI front-end for YTP+☆12Jul 24, 2019Updated 6 years ago