Lean 4 programming language and theorem prover
Cross platform (lin/win/mac) geographical information system (GIS)
Verible is a suite of SystemVerilog developer tools
Build ultra fast, tiny, and cross-platform desktop apps
beautiful customizable clock with plugins
A Nintendo 3DS Emulator
Third-party TI-84 Plus CE / TI-83 Premium CE emulator
Video, audio & banner adblock/skip for Spotify
Xbox 360 Emulator Research Project
Command & Conquer: Remastered Collection
OptiScaler bridges upscaling/frame gen across GPUs
Customize and control all your Razer devices
C++ Discord API Bot Library - D++ is Lightweight and scalable
Free and open source voxel art tools - editor, thumbnailer and format
PS4 emulator for Windows,Linux,MacOS
The source of the amazon/aws-for-fluent-bit container image
The Serenity Operating System
Incredibly fast JavaScript runtime, bundler, test runner
Open Source H.264 Codec
The Windows App SDK empowers all Windows desktop apps
CUDA Core Compute Libraries
An open source re-implementation of RollerCoaster Tycoon 2
A BSD-based OS project that aims to provide an experience with MacOS
OpenVINO™ Toolkit repository
Coroutine-based concurrency library for PHP