Repository Index

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

• functional-programming
• javascript
• js
• monad

V wrapper around the C Java Native Interface

• java
• jni
• kotlin
• android

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

• parallel-processing
• elixir-library

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

• golang

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Little utility D3 functions

utils for Go context

• golang
• go
• context
• async

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

• coq
• randomized-algorithms
• probability
• monad

Anonymous lambda literal in Common Lisp, respecting Scala

Java scope functions inspired by Kotlin

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

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

• functor
• monads
• curry
• composition

Dynamic and static D bindings for bgfx

OCaml bindings for OpenGL

• opengl
• ocaml

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

• esopo
• esolang
• esoteric-language
• esoteric-programming-language

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

Python bindings for Mosaic.

• plotly-dash
• streamlit

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl

Abstractions and utilities to get rid of boilerplate code in business logic

• datastructures
• generic
• go
• golang

Facility, Prosperity and Maintainability.

Delphi header translation for Microsoft XmlLite

One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.

• advisory-lock
• concurrency
• distributed-lock
• etcd

Go date utilities inspired by date-fns. Timezone-aware, WebAssembly-compatible, with comprehensive test coverage.