Repository Index

Distance Measurements are Awesome!

Big Data Science Swiss Army Knife - http://www.tuktu.io --

HomeMaster is an open-source platform for local-first smart home automation using ESP32-based devices like MiniPLC and MicroPLC. This repository includes firmware, schematics, and documentation for creating modular, cloud-free automation systems fully compatible with Home Assistant via ESPHome

• automation-controller
• embedded-systems
• esp32
• esphome

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

An Elixir client for the Nu HTML Checker (v.Nu).

• elixir
• html
• html-validation
• css

A PostgreSQL assistant for developers Understand, optimize, and improve your PostgreSQL database with ease.

• design
• llm
• performance
• postgresql

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Detect the sentiment captured in short pieces of text

• docker-image
• machine-learning
• machine-learning-models
• ibm

Enriches the standard go http client with retry functionality.

• golang
• http-client
• retry
• resilience

Collision-resistant ids, in Elixir

Python to Gremlin Graph Abstraction Layer

• gremlin-server
• gremlin-instance
• gremlin-script
• gremlin-string

Tiny header-only C++17 library for lat/lng geometry: distance, bearing, area, point-in-polygon and path proximity

• cpp
• geometry
• geospatial
• gis

✨ A Karma plugin. Adds untested files to coverage statistic

• karma-plugin
• karma-reporter
• karma-include
• include-all-sources

map library using Go generics that offers a standard interface, go routine synchronization, and sorting

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.

• ai-memory
• claude-code
• llm
• mcp

A stand-alone Swift wrapper around the libpq client library, enabling access to PostgreSQL servers.

• swift
• server-side-swift
• postgresql
• perfect

Instantiate the server with node-red

• iobroker
• node-red
• smarthome

GTFS-ride is an open standard for storing and sharing fixed-route transit ridership data.

• transit
• transportation
• public-transportation
• ridership

Validator for the Brain Imaging Data Structure

• bids
• data-standards
• neuroimaging-data
• validation

Web Service/ API for Alexa and Google Home Node-RED Smart Home Control

• node-red
• alexa-skill
• home-automation
• alexa-custom-skill

A widget for Wagtail's admin that allows you to create and select related items

A .NET source generator for creating simple value objects wrapping primitive types.

• dotnet
• csharp
• source-generation
• source-gen

Transpiling fortran code to golang code

• transpile
• f4go
• fortran
• golang