Repository Index

The repository host gives no description.

• common-lisp
• coverage
• testing

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Go HTTP client w/ HTTPS and SOCKS5 Proxy Load-balancing, Failover, Retries, Authentication, and RoundTripper

• golang
• golang-library
• http
• http-client

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Hahn: A Coq library

• coq-library

A high-level API to control headless Chrome or Chromium over the DevTools Protocol. It is the Rust equivalent of Puppeteer, a Node library maintained by the Chrome DevTools team.

A configuration object for Enyim's MemcachedClient that enables the use of Amazon ElastiCache's Auto Discovery feature

coinduction library for Coq

A simple library for Elixir that provides json over STDIO

A listing of generic GDScripts

Go utility library for convenient looping using Go's range-over-func feature

• golang

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

• coq
• canonical-structures
• typeclasses
• ssreflect

Instanbul coverage reporting for projects being tested by web-component-tester

The Swagger Coverage Tool is designed to measure API test coverage based on Swagger documentation. It provides automated tracking and reporting of test coverage for APIs, helping ensure that your endpoints and services are well-tested.

• coverage
• coverage-report
• coverage-testing
• httpx

A custom Framer.js module that shows hotspots over clickable layers in your prototype.

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Exploring the space of drug combinations to discover synergistic drugs using Active Learning

Broadcast to IP conversion for Wifi indoor coverage

JSON-stat GitHub Repository

• jsonstat
• stats
• nsi
• government

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

Hanoi tower in Coq

A wrapper for Actionscript 3.0's NetGroup and RTMFP Multicasting abilities to create quick P2P multiplayer games over local networks or Adobe Cirrus

| Public | A secure communication stack for .NET using JSON-RPC over SSL.

• public

MicroPython module which allows to create Entites for HomeAssistant using MQTT Discovery