Prototype of an intelligent safety system for detecting driver drowsiness
- cpp
- cuda
- cudnn
- driver-drowsiness-detector
Repository Index
47,133 repositories indexed
385–403 of 403 · Most stars
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
3-level override system for Claude Code - prevents destructive system operations. Born from a real incident.
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
Tamper-evident audit log for Go: an append-only, hash-chained, optionally Ed25519-signed log/slog handler, with offline logx verify. Built on the standard library, zero third-party dependencies. Also a full slog toolkit (colored output, JSON, rotation, fan-out, CLI).
- cli
- go
- golang
- slog
A tiny easy math include addition multiplication subtraction division.
- math
- math-library
- mathematics
- true-math
Yet another golang type safe object pool using generics
- go
- golang
- object-pool
- type-safety
Immuto - Java Records-first object mapper.An annotation processor generates type-safe mapper implementations at compile time; the generated code calls each target record's canonical constructor directly - zero runtime reflection, sealed class support, full Java 21+ idioms.
- annotation-processor
- bean-mapper
- canonical-constructor
- code-generation
Lightweight Go SDK for Yandex Messenger Bot API — type-safe client with retry, rate-limit handling, and service-oriented architecture
- api-client
- bot
- bot-api
- chatbot
This Maven plugin automatically generates package-info.java files with JSpecify annotations (@NullMarked or @NullUnmarked), helping you manage nullness boundaries in your Java projects without manual boilerplate.
- generator
- java
- jspecify
- maven-plugin
An overscan detection library for LÖVE
A secure, client-side tool to broadcast a signed Bitcoin (BTC) transaction from an air-gapped wallet. Fetch UTXOs, regenerate QR codes, and submit raw hex transactions safely.
- air-gapped
- airgap
- bitcoin
- btc
CLI for generating type-safe clients for EOS-compatible contracts.
- eos
- eosio
- wax
- blockchain
Lightweight EF Core helpers for Blazor and .NET 10. Async CRUD, automatic provider registration and safe DbContext handling. Less boilerplate, more Entity Framework.
- blazor
- entity-framework-core
- crud
- csharp
TranslatedHMap (Happy Map) is a concurrency-safe Map implementation that supports generics. It aims to provide a simple and easy-to-use API, supports generic key-value pairs, and also adds methods for querying the length of the Map and for clearing the Map.
- safemap
- generic-map
Safety-first PostgreSQL migration engine for Node.js — advisory locks, drift detection, checksum verification, 10 lint rules, CLI, and GitHub Action
Elixir utility to safely convert string an atom in set
Agent-native MCP server for TokRepo discovery, install planning, safe install, and reusable asset publishing.