Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Repository Index
47,133 repositories indexed
361–384 of 403 · Most stars
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.
- agentic-ai
- ai-safety
- fastapi
- langchain
Go Redis Client
- redis
- redis-client
- redigo
- easy
A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.
- golang
- go
- goroutine
Demo for a safe and effective custodial hot wallet architecture using features innovated by Substrate FRAME pallets and featured in production chains such as Polkadot and Kusama.
Give the agent a cage, not your keys. One-command Docker sandbox for AI coding agents: full autonomous permissions, per-project isolation, your host stays untouched.
A tool for detecting viruses and NSFW material in WARC files
- antivirus
- nsfw-classifier
- warc
- warc-safe
YAML-based Dependency Injection container for GO
- dependency-injection
- dependency-injection-container
- go
- golang
Type-safe, strict Python. Works well with standard Python
Reliable no-crash timer for VBA
Next-generation HTTP router for Go 1.27+ with type-safe handlers, RFC 9457 errors, and built-in OpenAPI generation. Minimal dependencies, blazing performance.
- generics
- go
- golang
- http-router
A subdomain-safe name generator
- elixir
- hosting
- subdomain
- dictionary
Pre-execution safety analysis for MySQL DDL/DML operations.
- ddl
- mysql
- aws-rds-aurora-mysql
- aws-rds-mysql
Cordova plugin to watch and recover after a broken Meteor Hot Code Push.
Type-safe extensions for the vertx eventbus
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
Type-safe SDK generator for PocketBase — schema to typed queries
The repository host gives no description.
Type-safe HTML template rendering engine for Go with generics, compile-time validation and go-generate support
- code-generator
- compile-time
- developer-tools
- generics
Compile-time annotation processor for Spring Boot. Generates predictable REST APIs, DTOs, JSON Patch endpoints, and N+1 safe JPA repositories without runtime reflection.
- annotation-processor
- boilerplate
- code-generator
- dto
Generate unsafe (!) bindings for Elixir functions
Type-safe async MQTT client for Rust. Topics as types, automatic routing and (de)serialization on top of rumqttc.
A modern, type-safe, and highly-composable configuration library with a focus on runtime clarity
- config
- configuration
- configuration-management
- java
High-performance ordered in-memory map for Java, supporting thread-safe concurrent access