Secure, fast, efficient, battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in multi-language ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible.
The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.
The financial transactions database designed for mission critical safety and performance.
A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32
jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.
Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.
- url-state
- react
- type-safe
- type-safety
Experience email the way you want with Mail0 – the first open source email app that puts your privacy and safety first. Join the discord: https://mail0.link/discord
Safety-first disk cleaner and space analyzer for macOS, Windows and Linux, with duplicate cleanup, app uninstall, startup management, system optimization, and maintenance.
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
A curated list of awesome responsible machine learning resources.
- fairness
- xai
- interpretability
- transparency
Unleashing the real power of Core Data with the elegance and safety of Swift
Type safe SQL builder with code generation and automatic query result data mapping
🔐 Securely share sensitive information with automatic expiration & deletion after a set number of views or duration. Track who, what and when with full audit logs.
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
Safety News & Research Monitor. https://aisafetyhot.com
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
A pre-execution guard for AI coding agents. It blocks destructive Git and file system commands, plus common attempts to access sensitive files, before a tool call runs. Supports Amp Code, Antigravity CLI, Claude Code, Codex, Cursor, DeepSeek Harness, Devin CLI, GitHub Copilot CLI, Grok Build, Hermes Agent, Kimi Code, OpenClaw, OpenCode, and Pi.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
TranslatedClaude Guardian is an all-in-one Claude account safety and risk prevention skill. Claude防封实战 (Claude anti-ban practice) It intelligently assesses your device, account history, network environment, and payment options, then provides personalized guidance for local, VPS, or virtual machine setups.
Resources on programming practices for safety-critical software.
Checklist for code reviews
A curated list of awesome tools, research, papers and other projects related to password cracking and password security.
- hashcat
- password-cracking
- hash-cracking
- john-the-ripper
A clinical decision-evidence benchmark: pull the one fact an answer rests on, and see whether the assistant's action moves with the evidence. Built on HealthBench.