J-Pipe / Whole-House-Water-Monitoring
Write of how I monitor my water usage with ESPHome and Home Assistant
☆70Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Whole-House-Water-Monitoring
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆17Updated 6 years ago
- Example Coq plugin☆16Updated 6 years ago
- A repository of puns on a variety of topics☆11Updated 5 years ago
- (the first half of) an ML compiler☆10Updated 10 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 7 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14Updated 7 years ago
- A Constraint Solver☆12Updated 8 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- Cohesive type theory☆18Updated 2 years ago
- Some basic libraries for Coq.☆14Updated 3 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 3 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Updated 5 years ago
- Type-and-example-driven program synthesis for functional programming languages☆22Updated 5 years ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- Multimode simple type theory as an Agda library.☆22Updated last month
- Constructive Galois connections☆32Updated 6 years ago
- Formalizing nbe in agda☆30Updated 11 years ago
- All the code I've ever written in Ltac2☆11Updated 3 years ago
- A library for Gradual Certified Programming in Coq☆9Updated 9 years ago
- what I did on my holidays☆12Updated 6 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- ☆11Updated 4 years ago
- Modeling AWS application load balancers using Alloy☆13Updated 2 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 5 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆20Updated 2 months ago
- A LaTeX package for formatting meta-theory.☆46Updated 3 years ago
- VERified asSembler for cryptographic primitives☆12Updated last year
- ☆27Updated 6 months ago