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

7,777–7,800 of 10,510 · Most stars

A Go package for sending and receiving ethernet frames. Currently supporting Linux, Freebsd, and OS X.

Go module for encoding structs into URL query parameters

  • go
  • querystring
  • form
  • form-data

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

  • backoff
  • heartbeat
  • exponential-backoff
  • retry

`llthreads` library rewritten without `LuaNativeObjects` code generator

  • lua
  • threading
  • pthreads
  • lua-binding

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