Open-source symbolic execution framework: https://maat.re

Presentation Slides for Developers

Vietnamese support for generating PDF files on polygon.codeforces.com

Solidity, the Smart Contract Programming Language

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

Efficient vision foundation models for high-resolution generation and perception.

Sandbox for securely executing untrusted programs

Jupyter kernel for the C++ programming language

Hydra is a framework for elegantly configuring complex applications

Driver for Canon CAPT printers

The Network UPS Tools repository. UPS management protocol Informational RFC 9271 published by IETF at https://www.rfc-editor.org/info/rfc9271 Please star NUT on GitHub, this helps with sponsorships!

The largest collection of PyTorch image encoders / backbones. Including train, eval, inference, export scripts, and pretrained weights -- ResNet, ResNeXT, EfficientNet, NFNet, Vision Transformer (V…

This is a collection of our NAS and Vision Transformer work.

Reasoning in LLMs: Papers and Resources, including Chain-of-Thought, OpenAI o1, and DeepSeek-R1 🍓

A high-throughput and memory-efficient inference and serving engine for LLMs

Awesome multilingual OCR toolkits based on PaddlePaddle (practical ultra lightweight OCR system, support 80+ languages recognition, provide data annotation and synthesis tools, support training and…

Large World Model -- Modeling Text and Video with Millions Context

Hackable and optimized Transformers building blocks, supporting a composable construction.

Prometheus exporter for Linux​ based GDDR6/GDDR6X VRAM and GPU Core Hot spot temperature reader for NVIDIA RTX 3000/4000 series GPUs.

Automatic tiling window manager for macOS à la xmonad.

LLM inference in C/C++

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Automatically upgrade your Django projects.

Scratch VM with a JIT compiler and more features

A modern GUI App for downloading Videos and Audios from hundreds of sites

SnapDragon's solutions for the ACM ICPC World Finals problems.

Semantic search for competitive programming problems