seanprashad / leetcode-patterns
A pattern-based approach to learn technical interview questions
seanprashad / leetcode-patterns
leanprover / lean4
Lean 4 programming language and theorem prover
leanprover-community / mathlib4
The math library of Lean 4
coop-deluxe / sm64coopdx
An official continuation of https://github.com/djoslin0/sm64ex-coop on sm64coopdx for the enhancements and progress it already has.
leanprover-community / physlib
A project to digitalise results from physics into Lean.
guardianproject / orbot-android
The Github home of Orbot: Tor on Android (Also available on gitlab!)
karanpratapsingh / system-design
Learn how to design systems at scale and prepare for system design interviews
leanprover / cslib
The Lean Computer Science Library (CSLib)
leanprover-community / mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
leanprover-community / lean4game
Server to host Lean games
ADScanPro / Claude-AD
Active Directory pentest methodology for Claude Code: skills, agents and slash commands for internal AD red-team work (Kerberoasting, ADCS ESC1-17, DCSync, ACL abuse, NTLM relay, delegation), with per-technique OPSEC/telemetry notes. Drives netexec, impacket, certipy, bloodyAD, BloodHound CE.
wassermanproductions / slate
The prompt studio for AI filmmaking — plan shots, direct coverage, keep continuity, and compile production-ready prompts for any image, video, music, or voice generator. No API keys. Suggested Donation of $30 if you you can to help me keep making these tools.https://ko-fi.com/samwasserman
stefanprodan / podinfo
Go microservice template for Kubernetes
stefanprodan / timoni
Timoni is a package manager for Kubernetes, powered by CUE and inspired by Helm.
iota9star / mikan_flutter
蜜柑计划（ https://mikanani.me ），🚧 持续开发中...
ADScanPro / adscan
Free Active Directory pentesting tool for Linux, macOS and Windows. Automates AD and LDAP enumeration, Kerberoasting, ASREPRoast, password spraying, ADCS/ESC1, DCSync, RBCD, gMSA, shadow credentials, NTLM relay and credential dumping across 104 techniques, mapping BloodHound-compatible attack paths to Domain Admin. NIS2 / ISO 27001 reports.
leanprover / elan
The Lean version manager
leanprover / con-leche
An external lean checker with a proof of consistency
humanpred / pknca
An R package is designed to perform all noncompartmental analysis (NCA) calculations for pharmacokinetic (PK) data.
Julian / lean.nvim
Neovim support for the Lean theorem prover
bytemanproject / byteman
Byteman Project main repo
leanprover / con-ron
A rust port of con-leche
Nawaf-Rayhan585 / LPR-Vehicle-License-Detection
Vehicle detection + license plate reading with YOLOv8 and EasyOCR, JSON report export (Streamlit)
wassermanproductions / circle-take
The dailies room for AI filmmaking — organize every generated take by shot, gate them with local AI quality checks (character drift, flicker, anatomy, continuity), compare, circle the winners, and export selects + reshoot lists with exact prompts and seeds. No API keys. Apache-2.0.uggested Donation of $30 if you you can to help me keep making these