Stars
Curated list of project-based tutorials
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
Go SDK for implementing resource-oriented gRPC APIs.
Modern Go Application example
Arduino Cmake toolchain leveraging ``arduino-cli`` via python wrapper script
F´ - A flight software and embedded systems framework
F Prime Package Manager (fppm) - A package manager for F Prime
Home Assistant integration for Daikin One HVAC systems and thermostats
Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with yo…
Nukit Open Air Purifiers are Open Hardware devices for improving indoor air quality. They are designed to be used with North American standard HVAC filters and PC fans. They are often an improvemen…
Static analysis tool to detect potential nil panics in Go code
Write better integration tests! Dockertest helps you boot up ephermal docker images for your Go tests with minimal work.
This is an example Kubernetes operator that builds an aquarium in Kubernetes using the wernight/funbox image.
Being laid off can be overwhelming and it's easy to miss important tasks. This runbook will help make sure you stay on track.
The HomeKit Accessory Protocol (hap) implemented in Go
My personal repository of formally verified mathematics.
Multi platform setup for Coq, Coq libraries and tools
A Homebridge plugin for Google Nest devices that uses the Google Smart Device Management API. Supports Cameras, Doorbells, Displays, and Thermostats. Includes support for HomeKit Secure Video.
Extended version of the Reorderable List in Unity
⎈ Multi pod and container log tailing for Kubernetes -- Friendly fork of https://github.com/wercker/stern
Dynamic DNS record updater written in Golang
Interactive roadmaps, guides and other educational content to help developers grow in their careers.