Repository Index

Library for encoding of binary data into strings using base32, base85, base128 and other algorithms for FPC and Delphi.

• base
• encoding
• pascal
• fpc

Data Structures and streaming algorithms for Common Lisp.

Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

• coq
• mathcomp
• 2-3-tree
• avl-tree

k-modes and k-prototypes clustering algorithms implementation in Go

• golang
• go
• machine-learning
• cluster

AS3 port of hxGeomAlgo - Small collection of geometry algorithms in Haxe 3.

SHA-3 and other Keccak related algorithms in SPARK/Ada.

• hash-functions
• keccak
• sha-3
• sponge-construction

Sample VB6 and VBA code used for inspiration of syntax/algorithms for usage in the stdVBA library

Swift 5 playgrounds to view and manipulate sorting algorithms.

NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility

• astronomy
• astronomical-algorithms
• celestial-mechanics
• nasa

Musical Scores for Piano with full sources in LilyPond file format

• lilypond
• music
• score
• bach

The repository host gives no description.

A* graph pathfinding in pure Elixir

• elixir
• graph-pathfinding
• graph-algorithms
• astar-algorithm

AI-Powered Quantitative Trading Engine — Evolve strategies with genetic algorithms

k6 extension to generate OpenTelemetry signals for load testing

• k6
• opentelemetry
• xk6
• k6-extension

Genetic Algorithm and Particle Swarm Optimization

• genetic-algorithm
• particle-swarm-optimization
• golang
• go

BabylonJS version of PlanetBuilder algorithms

Algorithms for finding weighted modularity in bipartite networks

A metaheuristic optimization framework

• optimization
• optimization-algorithms
• optimization-methods
• genetic-algorithm

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

Minimal JS implementation of older cryptography algorithms: RSA, DSA, DH.

• cryptography
• dh
• diffie-hellman
• dsa

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

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

• coq
• randomized-algorithms
• probability
• monad

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

• coq
• vst
• compcert
• graph-algorithms

graphlb is a crystal library which contains all the graph Data-Structures and Algorithms implemented in crystal-lang.