Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Repository Index
47,133 repositories indexed
961–984 of 1,361 · Most stars
A Roslyn analyzer to improve the experience when working with nullable reference types.
Add search abilities
Provide rspec matchers to match http response code
image manipulation library for Common Lisp
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
A Go package that provides a simple way of accessing nested properties in maps and slices.
Vapor provider for Lingo - the Swift localization library
- swift
- vapor
- vapor-provider
- localization
The repository host gives no description.
FsLibLog is a single file you can copy paste or add through Paket Github dependencies to provide your F# library with a logging abstraction. This is a port of the C# LibLog.
- fsharp
- logging
- dotnet
- dotnet-core
libGDX extension providing cross-platform support for Facebook Graph API.
Foundational Cryptography Framework for machine-checked proofs of cryptography.
This is the Ash Theme for Omarchy.org, providing a cohesive and visually appealing configuration set for your Linux desktop environment.
common lisp library providing common math functions used in games
Multi-agent orchestration & workflow engine. Declarative YAML workflows, LLM coordinator with hub-and-spoke mailboxes, race-safe delivery. One YAML file, one Go binary. Runs on any goai-supported provider.
An attempt at unifying lua class libraries to provide a common API.
A PostgreSQL assistant for developers Understand, optimize, and improve your PostgreSQL database with ease.
- design
- llm
- performance
- postgresql
Password generator written in Golang, usable as a CLI or Go library. Provides options for human readable and accessibility friendly passwords.
- golang
- go
- go-library
- golang-library
☀️ A 17kb Preact & Redux based Progressive Web App that provides relevant information to the user outside of the tab.
Quasi Engine is a framework that intends to be a complete toolset to ease 2d game development, providing ready-to-use QML elements representing basic game entities needed by most of games.
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
CLI for managing AI agent squads. Status, memory, goals, feedback, and dashboard for your autonomous agents.
Symfony bundle to provide PHP-FFmpeg as a Symfony service
a multiple providers ddns script without dependencies
- ddns
- aliyun
- cloudflare
- cloudxns