Static recompilation of The Legend of Zelda: Tears of the Kingdom to native Windows and Linux x86-64, with a Vulkan renderer. Game files not included.
Repository Index
47,133 repositories indexed
5,017–5,040 of 30,240 · Most stars
Monorepo hosting the proton web clients
- webmail
- pgp
- protonmail
- protoncalendar
Pagination library for Rails and other Ruby applications
- rails
- plugin
- pagination-library
- sinatra
AI-powered bug bounty hunting toolkit that works with or without subscription.
- ai-security
- bug-bounty
- bugcrowd
- claude-ai
An interactive and powerful Git interface for Neovim, inspired by Magit
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
WebGL point cloud viewer for large datasets
ChartView made in SwiftUI
comment engine
- commenting
- comment-system
- self-hosted
- commenting-engines
Neovim plugin to manage the file system and other tree like structures.
- neovim
- file-explorer
- plugin
- lua
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
- reverse-engineering
- malware-analysis
- binary-analysis
- parser
Main Liquibase Source
- java
- liquibase
- database-migrations
- java-library
ZenML 🙏: One AI Platform from Pipelines to Agents. https://zenml.io.
- mlops
- machine-learning
- data-science
- production-ready
TranslatedNext generation Electron build tooling based on Vite. A new generation of Electron development and build tool that supports source code protection
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.
A fast, highly extensible, and event driven SMTP server
- smtp
- mta
- javascript
- spf
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
- lebab
- javascript
- compiler
- es2015
Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes
- privacy-protection
- privacy-enhancing-technologies
- face-recognition
- adversarial-machine-learning
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
A neovim lua plugin to help easily manage multiple terminal windows
Node's framework for interactive CLIs
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
- https
- acme
- letsencrypt
- golang
😎Awesome GIS is a collection of geospatial related sources, including cartographic tools, geoanalysis tools, developer tools, data, conference & communities, news, massive open online course, some amazing map sites, and more.
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.