67,262 visible repositories in the index
3,361–3,384 of 17,951 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
linux-kernel-exploits Linux平台提权漏洞集合
[CVPR 2024] Official RT-DETR (RTDETR paddle pytorch), Real-Time DEtection TRansformer, DETRs Beat YOLOs on Real-time Object Detection. 🔥 🔥 🔥
🚇 The JavaScript bundler for React Native
Ejercicios de código semanales en 2023 de la comunidad MoureDev para practicar lógica en cualquier lenguaje de programación.
Example projects using the AWS CDK
Kubernetes clusters for the hobbyist.
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
Create WordPress themes with beautiful OOP code and the Twig Template Engine
A splash screen for react-native, hide when application loaded ,it works on iOS and Android.
Neovim plugin to manage the file system and other tree like structures.
An enhanced, animated, customizable Modal for React Native.
A collection of neobrutalism-styled Tailwind components.
:computer:🛡️ A curated collection of awesome resources, tools, and other shiny things for cybersecurity blue teams.
A distraction-free and highly customizable theme for Obsidian.
🔰 Instant PHP quality checks from your console
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
RLinf: Reinforcement Learning Infrastructure for Embodied and Agentic AI
"Single-image Layer Decomposition for Anime Characters" (SIGGRAPH 2026 Conference Paper)
TranslatedNext generation Electron build tooling based on Vite. A new generation of Electron development and build tool that supports source code protection
TranslatedPrevent UAC authorization of malware.
Active fork of kien/ctrlp.vim—Fuzzy file, buffer, mru, tag, etc finder.
The only Kubernetes dashboard you need