47,133 repositories indexed
241–264 of 997 · Most stars
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.
Android Bluetooth Low Energy (BLE) Fast Development Framework. It uses simple ways to filter, scan, connect, read ,write, notify, readRssi, setMTU, and multiConnection.
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
Automatically generate Go test boilerplate from your source code.
2D JavaScript Physics Engine
A supercharged AWS command line interface (CLI).
Powerful, mature open-source cross-platform game engine for Python and C++, developed by Disney and CMU
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
Integration of React + Webpack + Rails including server-side rendering of React, enabling a better developer experience and faster client performance.
RStudio is an integrated development environment (IDE) for R
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
Educational resources to learn to program (Foundation in Web Development)
A builder, not just a researcher. Agent skills that turn top-grossing app patterns into native-quality mobile screens.
The full-featured Golang Development Framework skeleton
CSS talks you have to see covering CSS Grid, flexbox, custom variables, performance, frameworks, tooling, and more! 📺
Java / JavaFX / Kotlin Game Library (Engine)
Microsoft Fluent UI Blazor components library. For use with ASP.NET Core Blazor applications
Orchid is a @laravel package that allows for rapid application development of back-office applications, admin/user panels, and dashboards.
:ballot_box_with_check: [Cheatsheet] Tips and tricks for Android Development
A high performance, editable terrain system for Godot 4.
A community-driven, open-source project to share detection logic, adversary tradecraft and resources to make detection development more efficient.
Frontend tech guide and curated collection of frontend materials
Fork of tagtraum industries' GCViewer. Tagtraum stopped development in 2008, I aim to improve support for Sun's / Oracle's java 1.6+ garbage collector logs (including G1 collector)
Connexion is a modern Python web framework that makes spec-first and api-first development easy.