Sign in

Repository Index

61,121 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

553–576 of 2,648 · Most stars

Open Container Initiative-based implementation of Kubernetes Container Runtime Interface

  • oci
  • oci-runtime
  • kubernetes
  • container-runtime-interface

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes

  • privacy-protection
  • privacy-enhancing-technologies
  • face-recognition
  • adversarial-machine-learning

😎Awesome GIS is a collection of geospatial related sources, including cartographic tools, geoanalysis tools, developer tools, data, conference & communities, news, massive open online course, some amazing map sites, and more.

A cross-platform file change monitor with multiple backends: Apple macOS File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify and fanotify, Microsoft Windows and a stat()-based backend.

  • event-notifications
  • change-monitor
  • fswatch
  • kqueue

An implementation of Shazam's song recognition algorithm.

  • audio-fingerprinting
  • audio-processing
  • go
  • golang

Cinder is a community-developed, free and open source library for professional-quality creative coding in C++.

Translated江山时序 (Jiangshan Shixu, "Rivers, Mountains and the Order of Time") · Interactive Historical Atlas of China across 18 dynasties, 164 territory snapshots, ancient-to-modern place genealogy & classical poetry routes. Interactive map timeline of Chinese history (403 BCE – Present)

  • ancient-china
  • cartography
  • china-map
  • chinese-history

The A32NX & A380X Project are community driven open source projects to create free Airbus aircraft in Microsoft Flight Simulator that are as close to reality as possible.