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

481–504 of 618 · Most stars

Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.

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

Exercism exercises in Crystal.

  • exercism-track
  • community-contributions-accepted
  • maintained-solitary

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

  • community-driven
  • manifesto
  • coq

:iphone: A HomeMatic CCU-Addon to regularly query AVM FRITZ!-devices for registered WiFi/LAN devices and deduce general user presence from this information

  • homematic
  • homematic-ip
  • ccu

A web application that maps out community-supported agriculture in Germany, Switzerland, and Austria, based on crowdsourced data.