Repository Index

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

• coq
• canonical-structures
• typeclasses
• ssreflect

Component based MVC web framework based on fort architecture targeting good code structures, modularity & performance.

• mvc-framework
• fort
• component-based
• web-framework

Kotlin recursion schemes with Arrow

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

Fast, extensible and easy to use data structure validation for elixir with nested structures support.

• elixir
• validator
• validation
• is

Sliding-window and regular top-K sketches, based on HeavyKeeper

• go
• golang
• heavy-hitters
• probabilistic-data-structures

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

Fast HyperLogLog implementation for Elixir/Erlang

• data-structures
• hyperloglog
• performance

Crystal implementation of "K-Dimensional Tree" and "N-Nearest Neighbors"

• crystal
• k-dimensional
• data-structures
• tree-structure

Disjoint Set data structure implementation in Go

• golang
• datastructures
• disjoint-set

Data Structures and Algorithms in Swift Playground

Create file and folder structures with plain text

• file
• folder
• management
• structure

Simplify comparison of Elixir data structures by ensuring fields are present but ignoring their values.

A playground for data structures in Elixir

NBAda - An Ada library of lock-free data structures and algorithms.

Simple, reliable .NET libraries covering numbers, geometry and data structures

• collections
• geometry
• numerics
• csharp

Provides a type for working with optional variables, fields in structures, functions and database models.

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

• datastructures
• generic
• go
• golang

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)

• binary
• compiler
• runtime
• csharp

A Stream implementation for GameMaker Studio 2.3+, allowing fluent APIs to manipulate various data structures

Erlang 2-way map

• erlang
• data-structures

The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers

• collections
• data-structures
• functional-programming
• generics

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

Multiset (bag) implementation in Crystal

• multiset
• crystal
• bag
• data-structures

cmake-xray is a build inspection tool for CMake projects that reveals include hotspots, dependency structures, and rebuild impact.

• cmake
• analysis
• diagnostics
• hexagonal-architecture