Lean 4 programming language and theorem prover
Develop desktop GUI applications using PHP, HTML5, JavaScript
An open-source platform for making universal native apps with React
Incredibly fast JavaScript runtime, bundler, test runner
Intel® RealSense SDK
A high-performance, zero-overhead, extensible Python compiler
A lightweight online game framework
Portable and lightweight cross-platform desktop application
Firebase SDK for Apple App Development
A powerful server and network library, including coroutine
Microsoft Azure PowerShell for developers
The FastLED library for colored LED animation on Arduino
Quickly and easily develop WeChat full-platform applications
Verible is a suite of SystemVerilog developer tools
A build system and primary set of packages for Termux
An easy-to-use mixed reality library for building VR applications
.NET MAUI is the .NET Multi-platform App UI
A static analyzer for Java, C, C++, and Objective-C
Flexible level editor
Set of comprehensive computer vision & machine intelligence libraries
matplotlib: plotting with Python
A flight software and embedded systems framework
The Smart Contract Programming Language
Open-source modular and multi-tenant application framework
Botcraft is a cross-platform C++ library to create bots