HACL*, a formally verified cryptographic library written in F*
- cryptography
- verified-primitives
- high-performance
- security
Repository Index
81,588 visible repositories in the index
3,025–3,048 of 6,376 · Most stars
The ultimate Docker Compose files and configs to build your desired media stack, quickly and easily, with secure outbound network traffic and secure remote access using multifactor authentication.
- flaresolverr
- heimdall
- homepage
- jellyseerr
SQL data analysis & visualization projects using MySQL, PostgreSQL, SQLite, Tableau, Apache Spark and pySpark.
hackerrank solutions github | hackerrank all solutions | hackerrank solutions for java | hackerrank video tutorial | hackerrank cracking the coding interview solutions | hackerrank data structures | hackerrank solutions algorithms | hackerrank challenge | hackerrank coding challenge | hackerrank algorithms solutions github| hackerrank problem solving | hackerrank programs solutions | JAVAAID |all hackerrank solutions | Coding Interview Preparation
- hackerrank-solutions-github
- hackerrank-all-solutions
- hackerrank-solutions-for-java
- hackerrank-algorithms-solutions
Stealthy Linux Kernel Rootkit
All of the official Tauri plugins in one place!
- tauri
- tauri-plugin
- hacktoberfest
High performance physically based renderer in C++11
AI as Workspace - An elegant AI chat client. Full-featured, lightweight. Support multiple workspaces, plugin system, cross-platform, local first + real-time cloud sync, Artifacts, MCP | 更好的 AI 客户端
An archive of every iOS wallpaper officially released by Apple
🔹Automatically populate the entities-list of lovelace cards
MacOptimizer is a system optimization tool designed specifically for macOS, featuring a modern SwiftUI interface with eight core functional modules:
[NO LONGER MAINTAINED] A JS utility for for parsing URLs and extracting information out of them.
⚠️ Experimentelle Skill-Sammlung für deutsches Recht (Arbeits-, Gesellschafts-, Insolvenz-, Datenschutz-, Prozessrecht u.a.) – inzwischen verbessert und im Alltag getestet, aber weiterhin Experiment. Bitte selber ausprobieren, Issues/PRs willkommen! Keine Rechtsberatung. Mandatsgeheimnis (§§ 203/204 StGB, § 43e BRAO), DSGVO, US-Transfer, KI-VO & Co
- anthropic
- bgh
- claude-skills
- dsgvo
Bonobo Git Server for Windows is a web application you can install on your IIS and easily manage and connect to your git repositories. Go to homepage for release and more info.
- c-sharp
- bonobo
- iis
- git
🐦 A resilience and fault-handling library. Supports Backoffs, Retries, Circuit Breakers, Timeouts, Bulkhead Isolation, and Fallbacks.
- circuit-breaker
- bulkhead
- cancellationtoken
- backoffs
A living pixel-art station where real AI agents do real work. Local-first desktop agent harness - bring your own key, watch your crew actually run.
AI Legal Assistant skill for Claude Code. Contract review, risk analysis, NDA generation, compliance auditing, negotiation strategy, and PDF reports — 14 skills, 5 parallel agents. If you want to learn how to sell this to real businesses, check out the Skool community
🦠 Track the Coronavirus disease (COVID-19) in the command line. Worldwide for all countries, for one country, and the US States. Fast response time (< 100ms). https://x.com/MrAhmadAwais
- coronavirus
- corona
- coronavirus-tracking
- coronavirus-real-time
Freewall is a cross-browser and responsive jQuery plugin to help you create grid, image and masonry layouts for desktop, mobile, and tablet...
😎 Tracy: the addictive tool to ease debugging PHP code for cool developers. Friendly design, logging, profiler, advanced features like debugging AJAX calls or CLI support. You will love it.
- nette
- nette-framework
- tracy
- dump-variables
Companion Android application for EdXposed
- xposed
- xposed-framework
- xposedinstaller
- xposedbridge
Local-first Video Knowledge Base. Index your video library with multi-modal analysis (YOLO, DeepFace, Whisper), search semantically via natural language, Docker-ready.
- ai
- face-recognition
- ml
- video-indexing
AV/EDR evasion via direct system calls.
书籍《Java 开发坑点解析：从根因分析到最佳实践》 & 极客时间专栏《Java业务开发常见错误100例》源码
- java
- pitfalls
- mistake
- design-patterns