60,121 visible repositories in the index
73–96 of 624 · 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.
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.
Python for Windows (pywin32) Extensions
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
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.
Lightweight, modular, and extensible library for functional programming.
Non-Blocking Reactive Foundation for the JVM
Brings SQL and AI together.
Confluent's Apache Kafka Golang client
Reactive Extensions for the Go language.
Parse, inspect, transform, and serialize content with syntax trees
ReactiveX for Python
An autocompletion daemon for the Go programming language
A modern Go utility library which provides helpers (map, find, contains, filter, ...)
👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect
Safe Rust bridge for creating Erlang NIF functions
Lunatic is an Erlang-inspired runtime for WebAssembly
Migrate C code to Rust
Functional utility library - modern, simple, typed, powerful
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A lightweight dynamic thread pool framework with built-in monitoring and alerting, unified third-party thread pool management, and support for popular configuration centers (Nacos, Apollo, Zookeeper, Consul, and Etcd), extensible via SPI。
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
C++ Insights - See your source code with the eyes of a compiler