Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
4,201–4,224 of 10,107 · Most stars
㊙️ AntiXSS | Protection against Cross-site scripting (XSS) via PHP
- php
- xss
- xss-attacks
- html-character
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.
- articulated-body-algorithm
- inverse-dynamics
- forward-dynamics
- multi-body-dynamics
Drag and drop to reorder items in a list, grid or board for Android. Based on RecyclerView. Also supports swiping items in a list.
SSH, SFTP, port forwarding, VNC/RDP and an AI assistant、MCP in one native window — a Go desktop app built on Viva, with no webview.
- golang
- native
- rdp
- sftp
TensorFlow ROCm port
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.
- qbit
- java
- microservice
- websocket-support
:1234: Bits, bytes and general-purpose calculator
- storage
- storage-unit-converter
- command-line
- standalone
Generate SQL for CRUD operations based on your POCO classes for Dapper
- dapper
- repository-pattern
- crud-generator
- sql-generator
A knowledge graph and a set of tools for drug repurposing
- drug-repurposing
- knowledge-graph
- graph-neural-networks
- knowledge-graph-embeddings
An infographic to summarize the most important parts of the Service Workers' API
Modern thread-safe and type-safe key-value observing for Swift and Objective-C
SolidWorks to URDF Exporter
A PostgreSQL extension for automatic bloat cleanup
The example project of inferencing Pose Estimation using Core ML
Zerker is a lightweight and powerful flutter graphic animation library
OpenXPKI Code
- pki
- enterprise-software
- workflow-based
- x509
Transit data visualization
- transportation
- transit
A multiplayer geography game using Websockets
Golang package for send email. Support keep alive connection, TLS and SSL. Easy for bulk SMTP.
- go
- golang
- golang-package
The Swiss Army knife to power JavaScript based client solutions ranging from Web apps/explorers over browser extensions to server-side clients like faucets/scrapers.
PokerTH is a poker game written in C++/Qt.
- board-game
- family-game
- multiplayer
- poker
A JavaScript library that lets you curve type on the web.
- javascript
- typography
- text-radius
A Compositional Numeric Library for C++
- cmake
- cpp
- fixed-point
- safe