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

289–312 of 473 · Most stars

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

  • type-safety
  • units-of-measure
  • unit-conversion

Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses | 500+ Papers | Perception, Cognition, Planning, Interaction, Agentic System

  • adversarial-attacks
  • ai-safety
  • autonomous-driving
  • backdoor-attacks

A lightweight yet powerful, fast, customizable, type-safe object-relational mapper for the Go programming language.

  • orm
  • orm-framework
  • golang
  • object-relational-mapper

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking

  • graphql-schema
  • dotnet-cli
  • fable
  • graphql

Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python".

  • regex
  • regular-expression
  • ruby

Package ring provides a high performance and thread safe Go implementation of a bloom filter.

  • go
  • golang