AdGuard Mini for macOS
- adblock
- safari
- adguard
- safari-extension
Repository Index
47,133 repositories indexed
145–168 of 470 · Most stars
A tool for generating self-contained, type-safe test doubles in go
Bolero brings Blazor to F# developers with an easy to use Model-View-Update architecture, HTML combinators, hot reloaded templates, type-safe endpoints, advanced routing and remoting capabilities, and more.
- bolero
- blazor
- fsharp
- webassembly
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.
Protect against malicious open source packages 🤖
Easy-to-use typesafe REST API client library for .NET Standard 1.1 and .NET Framework 4.5 and higher, which is simple and customisable. Inspired by Refit
Wordlist, rules and masks from Kaonashi project (RootedCON 2019)
- wordlist
- password
- password-strength
- password-safety
Modern Python library for HTTP security headers with safe defaults, configurable presets, and first-class ASGI/WSGI middleware (FastAPI, Django, Flask, Shiny, and more).
🕰 Type-safe time calculations in Swift
- swift
- ios
- generics
- time
:deer: Simple Interface Core Animation. Run type-safe animation sequencially or parallelly
RockYou2021.txt is a MASSIVE WORDLIST compiled of various other wordlists. RockYou2021.txt DOES NOT CONTAIN USER:PASS logins!
- wordlist
- rockyou
- rockyou2021
- wordlists
animated page transition for major ssr frameworks and browsers, including Safari
On-prem file sharing made simple, fast and safe.
- file-sharing
- golang
- self-hosted
- storj
Type safe TypeScript client for any GraphQL API
Pure Clojure Webdriver protocol implementation
- clojure
- webdriver
- firefox
- chrome
math and logic formula parser and evaluator
- formula
- calculator
- evaluate-expressions
- safeeval
🐜 HMPL.js is a lightweight server-oriented template language for JavaScript. Fetch HTML, render it safely, and keep apps dynamic, modern, and small.
- fetch
- hmpl
- server-side
- html
G3log is an asynchronous, "crash safe", logger that is easy to use with default logging sinks or you can add your own. G3log is made with plain C++14 (C++11 support up to release 1.3.2) with no external libraries (except gtest used for unit tests). G3log is made to be cross-platform, currently running on OSX, Windows and several Linux distros. See Readme below for details of usage.
A curated research map of Recursive Self-Improvement (RSI): models, agents, harnesses, embodied systems, automated AI R&D, benchmarks, and safety.
Safety guardrails for ai coding agents and human terminal commands
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
- gym
- pybullet
- reinforcement-learning
- control
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
- accuracy-decline
- ai-safety
- audit-trail
- fact-checking
A robust option type for C#
- option-type
- safety
- functional-programming