Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

4,729–4,752 of 6,396 · Most stars

:speaker: Sonos mqtt controller. Control your speakers from your mqtt server. mqtt-smarthome insprired.

  • mqtt-smarthome
  • sonos
  • sonos-speakers
  • mqtt

The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.

A microservice (sidecar) that helps instantly determine the status of your PostgreSQL hosts including whether they are alive, which one is the master, which ones are replicas, and how far each replica is lagging behind the master.

Go module for encoding structs into URL query parameters

  • go
  • querystring
  • form
  • form-data

Go implementation of the Open Packaging Conventions (OPC)

  • files
  • golang
  • go
  • xml

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs