A comprehensive set of composable foundational C++ libraries and CMake utilities to power Sourcemeta projects. Note we don't provide any stable ABI/API guarantees to external users outside Sourcemeta
- cpp
- cxx
- json
- json-pointer
Repository Index
47,133 repositories indexed
985–1,008 of 1,361 · Most stars
Provide TeX-Hyphenation to PHP
Froggit-Go is a universal Go library, allowing to perform actions on VCS providers.
Simple, improved, and extensible Markdown note taking.
Relation algebra library for Coq
Persistent, fast and secure signature provider for EOSIO chains built on top of EOSIO Signing Requests (EEP-7)
- anchor-link
- eos
- eosio
- eosio-signing-request
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
A CakePHP plugin which allows you to authenticate using social providers like Facebook/Google/Twitter.
- cakephp-plugin
- social-providers
- middleware
- php
A CakePHP plugin around geocoding tools and helpers.
- cakephp
- cakephp-plugin
- php
- geocoder-provider
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
a wordpress plugin that improves wpgraphql usage together with wpml
- wpml
- wordpress
- wordpress-plugin
- wpgraphql-plugin
Available Terraform Provider network mirroring service.
- mirroring
- opentofu
- provider
- registry
Golang port of Petrovich - an inflector for Russian anthroponyms.
This script takes a file or directory as input, uses GPG AES256 symmetric encryption with the password you provide and adds it to IPFS and returns the IPFS hash.
- ipfs
- cli
- encryption
- ipfs-add
The library provides a unified way to read configuration data from different sources, such as environment variables, command line flags, and configuration files.
Helmut Hoffer von Ankershoffen experimenting with auto-provisioned RPi cluster running K8S on bare-metal
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
The repo provides instructions on deploying CloudPakforData on the public cloud.
A Go toolkit for building AI agents and applications across multiple providers. Unified LLM client, agent framework with handoffs, tool calling, streaming, structured output, MCP integration, and cost tracking.
- ai
- golang
- llm
- structured-output
SteamBot fork that provides an easy-to-use Trade Offer library and a true generic inventory interface.
- c-sharp
- steam
- steambot
- steam-api
Provides a form ordering support for your Symfony2 project.
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Library to create Coq record update functions
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science