Reverse engineered userspace driver for SLAB HT2000 CO2, temperature and relative humidity (RH) data logger and meter made by Dongguan Xintai Instrument Co. and identified as ID 10c4:82cd Cygnal Integrated Products, Inc.
☆22Mar 10, 2025Updated last year
Alternatives and similar repositories for slab_ht2000
Users that are interested in slab_ht2000 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- pcd8544 Command Line Tool for Raspberry Pi / Orange Pi☆12Jun 10, 2020Updated 5 years ago
- A history of Emacs releases, under version control☆37Jan 10, 2020Updated 6 years ago
- Lolin S3 Mini Pro ESP32☆14Nov 2, 2024Updated last year
- A template repo for folks wanting to do Advent of Code with Clerk.☆17Dec 3, 2025Updated 4 months ago
- Monitoring linux server using arduino + ethernet module + LCD + PHP☆12Jun 18, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Linking Of Virtual Electronics to FPGAs 🙂. Use virtual components with real hardware for debugging without simulation☆14Apr 24, 2024Updated last year
- https://www.wemos.cc/product/motor-shield.html☆13Oct 18, 2016Updated 9 years ago
- Unit test generation for the Kakoune editor with Symflower☆12Oct 17, 2022Updated 3 years ago
- jQuery TodoMVC using the Web Cryptography API☆15Sep 12, 2014Updated 11 years ago
- NXP SC16IS752 I2C UART bridge for ESP8266 and ESP32☆21Dec 8, 2022Updated 3 years ago
- Library for sending data to thingspeak.com from IoT devices running micropython (such as ESP8266)☆12Jun 16, 2018Updated 7 years ago
- Crate for reading TPTP files.☆15May 11, 2022Updated 3 years ago
- A first-order concurrent automated theorem prover☆24Mar 25, 2026Updated 2 weeks ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated 10 months ago
- ☆19May 10, 2019Updated 6 years ago
- Solarized color theme for DrRacket☆56May 8, 2014Updated 11 years ago
- Browser extension to browse a URL as a WebDAV share. You can not only list files but also upload and delete☆33Nov 9, 2024Updated last year
- ☆11Jan 22, 2018Updated 8 years ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- DLVHEX solver: core system and plugin API☆25Jun 13, 2019Updated 6 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- Inert lets you use non-Sync values in Sync context☆16Jul 2, 2019Updated 6 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 5 months ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Recursos que menciono en el videoblog☆23May 31, 2021Updated 4 years ago
- A GitHub action to run hadolint and reports violations given a Dockerfile within a repository☆13Feb 23, 2024Updated 2 years ago
- Design files for various projects☆37Oct 9, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Jun 13, 2019Updated 6 years ago
- TM1637 library for Arduino☆27Jan 13, 2026Updated 2 months ago
- Yu-Gi-Oh! simulator☆11Oct 12, 2020Updated 5 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- Clion + OpenOCD + My Plugin + STM32F4-Discovery example☆10Jul 5, 2018Updated 7 years ago
- A cookiecutter template for pandoc / XeTeX talks.☆22Sep 23, 2013Updated 12 years ago
- Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)☆20Nov 26, 2021Updated 4 years ago