Sign in

Repository Index

66,263 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

13,273–13,296 of 16,831 · Most stars

Go implementation of different backoff strategies useful for retrying operations and heartbeating.

  • backoff
  • heartbeat
  • exponential-backoff
  • retry

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

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

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

  • ada
  • gnat
  • cortex
  • rts

Student submissions for the WWDC 2025 - Swift Student Challenge

  • apple
  • swift-playgrounds
  • swift-student-challenge
  • wwdc