Repository Index

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq

Bitset data structure

• bit-twiddling
• bit-array
• data-structures
• bitset

Generate flags by parsing structures

• cli-library
• flag
• go

Implementations of popular data structures and algorithms

A collection of generic functions for writing redux reducers to operate on various data structures

Data-mining and Visualization components for RAD Studio

• visualization
• complex-structures
• database
• charting-library

A recursive, pattern-matching, approach to transforming JSON structures.

Learn the DSA and be Interview ready

• dsa
• java
• coding-challenges
• data-structures-and-algorithms

Easily and dynamically generate maps from Go static structures

• serializer
• json

Generic graph data structures and algorithms for Go (Golang): dependency graphs (DAGs) with cycle checks and topological sort, BFS and DFS traversal, Dijkstra and other shortest paths, connectivity and partitioning. No dependencies.

• generic
• golang
• graph
• graph-algorithms

:necktie: An Elixir presenter package used to transform map structures. "ActiveModel::Serializer for Elixir"

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

• coq
• serialization
• json
• sexp

Erlang Trie Implementation

• erlang
• data-structures

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

A fast and flexible c++ template class for tree data structures

• c-plus-plus
• tree
• stl
• data-structure

Standard API for Distributed Data Structures in R

🎀 Just the cutest and tiniest queue/deque implementation!

• stack
• queue
• npm-package
• data-structures

Containers backed by std.experimental.allocator

• d
• containers
• data-structures
• double-linked-list

A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.

• go
• golang
• data-structures
• functional

Database client library, proxy for any master slave, master master structures. Lightweight, performant and auto balancing in mind.

• golang
• go
• database
• database-connection

A common lisp library to unify access to common dictionary-like data-structures

Zero allocation Nullable structures in one library with handy conversion functions, marshallers and unmarshallers

• golang

Probabilistic set data structure

• bloom-filter
• data-structures
• go