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

4,849–4,872 of 6,398 · Most stars

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

Example README file demonstrating a suggested README file structure for software projects

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 GameBoy printer emulator which provides the received data over a wifi-connection.

  • gameboy-camera
  • gameboy-printer
  • gameboy-printer-emulator

Bidirectional Ring router. REST oriented. Rails inspired.

  • clojure-library
  • clojure
  • router
  • routes

A set of Maltego transforms for VirusTotal Public API v2.0. This set has the added functionality of caching queries on a daily basis to speed up resolutions.