Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
2,809–2,832 of 6,396 · Most stars
MySQL Connector/C++ is a MySQL database connector for C++. It lets you develop C++ and C applications that connect to MySQL Server.
Local gateway for Claude Code, Codex and other AI clients on macOS, Windows and Linux: switch upstreams without touching clients, keep API keys from relays, cut off malicious tool calls, trace every request.
- ai-gateway
- anthropic
- claude-code
- codex
Sequence learning toolkit for Python
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
Generate SQL for CRUD operations based on your POCO classes for Dapper
- dapper
- repository-pattern
- crud-generator
- sql-generator
Local inference engine for Qwen3.8-Flash-Next on NVIDIA Blackwell
🌚 Neovim package manager
A PostgreSQL extension for automatic bloat cleanup
A stupidly small and simple jQuery table sorter plugin
- sort
- javascript
- jquery
- jquery-plugin
JSON query and transformation language
- java
- json
- query
- transform
View any GraphQL schema as a dynamic and interactive graph. 🦅
- graphql-visualizer
- graphql
- graphql-birdseye
- jointjs
Ember HTMLBars Helpers for {{if}} & {{unless}}: not, and, or, eq & is-array
A computer, compiled into the weights of a language model. An exact CPU inside Qwen3.5-4B, with Gated DeltaNet state as RAM.
Security Auditor Utility for GraphQL APIs
📆 An elegant calendar control for iOS.
This package gives Eloquent models the ability to manage their friendships.
- laravel
- eloquent
- friend-requests
- friend-groups
PokerTH is a poker game written in C++/Qt.
- board-game
- family-game
- multiplayer
- poker
Python package for stacking (machine learning technique)
- stacking
- stacked-generalization
- explain-stacking
- stacking-tutorial
CRUD operations with Dapper made simple.
- dapper
- query-builder
- crud
- dommel
ROS-based framework and RPi image to control PX4-powered drones 🍀
- ros
- px4
- mavros
- aruco
PGX — Lightweight Postgres for AI agents. Written in Rust. Thousands of isolated databases in one runtime🐘
Requirements management using version control.
- requirements-management
- version-control
- documentation
- traceability
A roadmap describing the required skills, learning resources and sample tools to become an AI Engineer