python wrapper for Awair Air Quality Sensor
☆17Mar 18, 2021Updated 5 years ago
Alternatives and similar repositories for pyawair
Users that are interested in pyawair 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
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- List of community projects designed to help people find available COVID-19 vaccines and get appointments.☆12Nov 22, 2022Updated 3 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 7 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 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. Zero configuration with optimized deployments.
- Understanding CoAP with Packet Captures.☆15Jun 27, 2023Updated 3 years ago
- 🎸Uke is a small experiment, writing a "React-like" framework without a single dependency.☆13Apr 11, 2018Updated 8 years ago
- C automata library to build, determinize, minimize, translate regexp etc☆11Mar 26, 2016Updated 10 years ago
- It keeps iRobot Create specific packages☆24Apr 7, 2019Updated 7 years ago
- Virtual Machine built as a CAmkES component.☆25Jul 22, 2026Updated 2 months ago
- Create pull requests for blog comments posted via a form (v1 function)☆20Jul 1, 2021Updated 5 years ago
- An OTA firmware image server for Contiki applications☆10Jun 16, 2016Updated 10 years ago
- BBQX0KBD is a Keyboard Device Driver for the Beepy Keyboard☆22Aug 25, 2023Updated 3 years ago
- This package contains a library that can be used by network daemons to communicate with a packet filter via a daemon to enforce opening a…☆18Apr 9, 2026Updated 5 months 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.
- LL parser generator☆18Sep 6, 2025Updated last year
- A collection of csolution project use cases for experimentation, exploration and education purposes.☆11Updated this week
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆27May 28, 2020Updated 6 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- 모바일용 숭실대 성적 조회(+알람) 서비스 입니다☆13Dec 28, 2022Updated 3 years ago
- I2C API for WASI☆25Nov 26, 2025Updated 10 months ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆33Aug 13, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 코드리뷰를 위한 Git, Github 사용법을 정리/연습하는 레포입니다☆14Jan 27, 2023Updated 3 years ago
- MiniGolf game for Palm OS created in 2024☆29Jan 7, 2025Updated last year
- Graphical frontend for OpenOCD - the Opensource On-Chip-Debugger for debugging and programming various Controllers & Processors - using t…☆21Mar 17, 2014Updated 12 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆47Mar 29, 2026Updated 5 months ago
- Some cool game hacks☆21Apr 7, 2018Updated 8 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago
- C SDK for the LWM2M feature of the Artik Cloud☆13Aug 22, 2018Updated 8 years ago
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Nov 1, 2021Updated 4 years ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Random experiments and shenanigans☆12Sep 11, 2026Updated 2 weeks ago
- Implementation of Nuprl's type theory in Coq☆47Jul 28, 2026Updated last month
- OpenThread on Texas Instruments CC13x2/CC26x2 examples.☆21Mar 24, 2026Updated 6 months ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Aug 20, 2026Updated last month
- ☆15Nov 5, 2022Updated 3 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆46May 14, 2016Updated 10 years ago
- Generate Serialization Functions for C++ classes and structs using python and libclang☆12Feb 24, 2018Updated 8 years ago