Sign in

Repository Index

47,133 repositories indexed

Tags: Cloud and DevOps
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

97–113 of 113 · Most stars

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

  • coq-plugin
  • large-numbers
  • coq
  • docker-coq-action

Prompt-injection firewall for LLM applications — 33 input detectors, 9 output scanners, federated ed25519-signed threat-intel feed. Apache 2.0, 1040 tests, F1 96.0% with 0% false positives. Docker, GitHub Action, LangChain/LlamaIndex/CrewAI integrations.

BBC reference implementation demonstrating AMWA IS-04, IS-05 and IS-10

  • rd-project
  • rd-section-apmm
  • rd-stability-green

Pre-execution safety analysis for MySQL DDL/DML operations.

  • ddl
  • mysql
  • aws-rds-aurora-mysql
  • aws-rds-mysql