Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Repository Index
47,133 repositories indexed
649–672 of 939 · Most stars
A CDK construct which exposes an endpoint with the contents of a DynamoDB table
Tag-based environment configuration for structs
A fast and flexible c++ template class for tree data structures
- c-plus-plus
- tree
- stl
- data-structure
Struct validation using tags
- go
- validation
Read-only MCP server that connects Claude, ChatGPT and other AI assistants to Canvas LMS.
Declarative Java engine for structured documents. Automatic layout, pagination, reusable templates and themes. Render print-ready PDF, export editable PowerPoint, or generate semantic DOCX.
- document-generation
- java
- layout-engine
Standard API for Distributed Data Structures in R
An infrastructure-as-code and deployment tool for Roblox.
- roblox
- infra-as-code
- ci
- deployment
Structural validation library for Clojure(Script)
🎀 Just the cutest and tiniest queue/deque implementation!
- stack
- queue
- npm-package
- data-structures
Describe a thing, get a hologram, a 3D model and its parts: built by any AI agent, honestly.
- 3d-visualization
- agent-skills
- ai-agents
- claude-code
Golang binary decoder for mapping data into the structure
- golang
- binary
- decoder
- unmarshaling
Cookies, but with structs, for happiness.
- cookie
- helper
- unmarshal
Pagser is a simple, extensible, configurable parse and deserialize html page to struct based on goquery and struct tags for golang crawler
- go
- golang
- goquery
- colly
A CLI tool to visualize GraphQL schemas and to output a graph data structure as a graphviz .dot format
- graphql
- schema
- schemas
- graph
Non-destructive scanner for CVE-2026-109618 / CVE-2026-109619 (PHP core RCE). Subdomain recon via crt.sh + subfinder, robust banner grabbing, version-based detection.
- crtsh
- cve
- cve-2026-109618
- cve-2026-109619
Containers backed by std.experimental.allocator
- d
- containers
- data-structures
- double-linked-list
A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.
- go
- golang
- data-structures
- functional
Add logfmt structured logging using the stdlib logging module and without changing a single log call.
- python
- logfmt
- logging
- structured
Structural variant detection and association testing
Library for setting values to structs' fields from env, flags, files or default tag
- go
- golang
- reflection
- configuration-management
Infrastructure-as-code toolkit (Docker Compose, Kubernetes, Terraform) for deploying containerized services, using the predictive-cicd-remediation project as the reference workload.
Database client library, proxy for any master slave, master master structures. Lightweight, performant and auto balancing in mind.
- golang
- go
- database
- database-connection