Skip to content
View TimSoethout's full-sized avatar

Highlights

  • Pro

Organizations

@cwi-swat @cwi-nl @typesafe-training @ing-bank @scala-academy

Block or report TimSoethout

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

OpenSOHO is an OpenWISP alternative built to manage a small number OpenWRT based network devices.

Svelte 109 5 Updated Jan 18, 2026

A Home Assistant integration to load the forecast data from the ned.nl API

Python 13 Updated Jan 13, 2026

Artifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.

TLA 11 Updated Sep 2, 2025

Home Assistant (HA) sensor that returns a string based on a defined schedule, enabling further automations

Python 49 6 Updated Jan 19, 2026

A full featured Thermostat for Home Assistant: presets, window, motion, presence and overpowering management

Python 886 100 Updated Jan 19, 2026

Monitor and control your Groupe Atlantic (Explorer, Calypso, Aquawin,...) heat pump using MQTT

C++ 56 18 Updated Jan 18, 2026

Cross-platform GUI written in Rust using ADB to debloat non-rooted Android devices. Improve your privacy, the security and battery life of your device.

Rust 5,607 227 Updated Jan 17, 2026

Zendure Home Assistant Integration

Python 251 49 Updated Jan 19, 2026

Wiki for Creality Helper Script

1,133 115 Updated Jan 26, 2025

Sensor for Home Assistant pulling data from the GoodWe SEMS API for solar panel production metrics.

Python 122 43 Updated Jan 14, 2026

ESP32 based module to control Daikin aircon units

C 1,062 115 Updated Jan 18, 2026

Jinja macro to find the cheapest energy prices

Jinja 162 16 Updated Jan 16, 2026

Fully client-side Deal With It GIF emoji generator.

TypeScript 257 9 Updated Sep 29, 2025

Software for an esp8266 nodemcu to read data from APS inverters.

C++ 143 25 Updated Sep 12, 2025

a software for a raspberry pi zero to read the production of aps inverters yc600 and qs1

52 5 Updated Aug 22, 2025

A Home Assistant integration to provide real-time and cumulative energy cost tracking, optimized for dynamic electricity prices like Nord Pool.

Python 160 31 Updated Nov 6, 2025

Advanced Blueprints combined with pyscript for extra useful automations

Python 206 52 Updated Aug 20, 2024

Real-time sync for Postgres.

Elixir 9,794 300 Updated Jan 19, 2026

DNS Ping: to check packet loss and latency issues with DNS servers

Go 115 6 Updated Jan 17, 2026

Display modifications for the Traktor Kontrol S8/S5/D2

QML 113 28 Updated Dec 5, 2025

Open Source Wealth Management Software. Angular + NestJS + Prisma + Nx + TypeScript 🤍

TypeScript 7,473 900 Updated Jan 19, 2026

An automated exploratory testing tool for Android

Kotlin 5 2 Updated Jun 19, 2024

The financial transactions database designed for mission critical safety and performance.

Zig 14,949 764 Updated Jan 19, 2026
Rascal 1 1 Updated Dec 24, 2021

A distributed transaction framework, supports workflow, saga, tcc, xa, 2-phase message, outbox patterns, supports many languages.

Go 10,795 999 Updated Jan 3, 2026
Scala 1 1 Updated Mar 24, 2022

A reverse engineered version of the Hemingway editor for VSCode

TypeScript 12 2 Updated Oct 27, 2021

:octocat: GitHub Action to compile LaTeX documents

Shell 1,335 150 Updated Jan 14, 2026

AM43 component for ESPHome

C++ 12 2 Updated Jul 23, 2021
Next