Repository Index

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

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

Native DTrace probes for ruby apps

Hanoi tower in Coq

Simple Shopify API for the Go Programming Language

Java scope functions inspired by Kotlin

• functional-programming
• java
• java-utils
• java-utilities

A Coq library providing tactics to deal with hypothesis

• coq
• formal-proofs
• proof-assistant
• tactics

OpenFaaS template for the crystal programming language

Unofficial OpenCV binding for D programming language

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).

• tcp
• tls
• ssl
• socket

Rate limiter and overload protection for erlang application

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)

COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.

• excel
• excel-vba
• vbscript
• vba

The repository host gives no description.

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

Dynamic bindings to the CUDA library for the D Programming Language.

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

OCaml library for forking child processes to perform work on multiple cores