Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.
- point-cloud
- 3d-graphics
- compression
- mesh
Repository Index
47,133 repositories indexed
145–168 of 1,340 · Most stars
Provides mechanisms for walking through any arbitrary PHP variable
A reactive caching and data-binding framework. Riverpod makes working with asynchronous code a breeze.
- provider
- flutter
- state-management
- dart
A tiny friend in your Mac's notch and on your iPhone that keeps an eye on your AI coding agents: Claude Code, Codex, Cursor, Gemini CLI, Antigravity and more. Approve from the notch or your Lock Screen.
Provides packet processing capabilities for Go
Package goth provides a simple, clean, and idiomatic way to write authentication packages for Go web applications.
⚗️ Adds code analysis to Laravel improving developer productivity and code quality.
- laravel
- phpstan
- php
- code-analysis
Serial utility for flashing, provisioning, and interacting with Espressif SoCs
A free, fast, and reliable Open Source CDN for npm, GitHub, Javascript, and ESM
- cdn
- infrastructure
- http
- distribution
A lightweight graphic library providing 2d draw for Apache ECharts
Outline Server, developed by Jigsaw. The Outline Server is a proxy server that runs a Shadowsocks instance and provides a REST API for access key management.
- shadowsocks
- docker
- linux
- proxy-server
A very powerful and friendly nginx base on lua-nginx-module( openresty ) which provide WAF, Control Panel, and Dashboards.
A high-performance rendering engine replacement for Minecraft, which greatly improves frame rates and reduces micro-stutter
- minecraft
- fabric
- neoforge
ClosedXML is a .NET library for reading, manipulating and writing Excel 2007+ (.xlsx, .xlsm) files. It aims to provide an intuitive and user-friendly interface to dealing with the underlying OpenXML API.
Improved JPEG encoder.
- mozjpeg
- libjpeg
- jpeg-encoder
- image-optimization
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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
Doorkeeper is an OAuth 2 provider for Ruby on Rails / Grape.
- doorkeeper
- oauth
- oauth2-provider
- oauth2-server
This Ansible collection provides battle tested hardening for Linux, SSH, nginx, MySQL
- ansible
- sysctl
- protection
- hardening
The ultimate Python library in building OAuth, OpenID Connect clients and servers. JWS, JWE, JWK, JWA, JWT included.
The most scalable and customizable permission server on the market. Fix your slow or broken permission system with Google's proven "Zanzibar" approach. Supports ACL, RBAC, and more. Written in Go, cloud native, headless, API-first. Available as a service on Ory Network and for self-hosters.
- hacktoberfest
- abac
- access-control
- acl