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

1,297–1,320 of 1,637 · Most stars

Audit and fix your Mac's security in one command. No agent, no signup, open source.

  • cli
  • compliance
  • endpoint-security
  • golang

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

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

A powerful and intuitive .NET library for defining, filtering, transforming, and scheduling instant and period timelines.

Fast detection of repackaged Android applications based on the comparison of resource files included into the package.

  • android
  • android-security
  • repackaging-detection
  • java