Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
47,133 repositories indexed
3,577–3,600 of 8,798 · Most stars
Mathematical Components
Lightweight and fast recurring dates library for PHP (RFC 5545)
JavaScript plugin for playing sounds and music in browsers
Alaz: Advanced eBPF Agent for Kubernetes Observability – Effortlessly monitor K8s service interactions and performance metrics in your K8s environment. Gain in-depth insights with service maps, metrics, and more, while staying alert to crucial system anomalies 🐝
BitTorrent DHT library
A simple way to pack and manage texture atlases for libGDX game framework.
'httpclient' gives something like the functionality of libwww-perl (LWP) in Ruby.
RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.
Simple, fast and scalable golang rpc library for high load
Make Custom Serialization of Swift Codable Types easy with Annotations
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
Library for creating tagged constructors.
Framework and Library for Distributed Online Machine Learning
C++ Reflection Parser / Runtime Skeleton
Parallax everywhere is a library with alternative android widgets with parallax effects.
Advanced crypto library for the Go language
MIRACL Cryptographic SDK: Multiprecision Integer and Rational Arithmetic Cryptographic Library is a C software library that is widely regarded by developers as the gold standard open source SDK for elliptic curve cryptography (ECC).
Execute WebAssembly from Elixir
Elegant NTP date library in Swift
Zerker is a lightweight and powerful flutter graphic animation library
Task automation Go library
A project demonstrating how to use the libs of cuPCL.
ansible-playbook + buildah = a sweet container image
JSON query and transformation language