2 results found Sort:

dadhi
ImTools dadhi
10
235
mit
7
Fast and memory-efficient immutable collections and helper data structures
map effects hashmap 2-3-tree avl-tree hashtable immutable lock-free sum-types dictionary persistent performance data-structures open-addressing value-semantics compare-and-swap memory-efficient robinhood-hashmap reference-semantics functional-programming
Created 2017-01-04
1,221 commits to master branch, last one about a month ago
coq-community
fav-ssr coq-community
7
45
mit
8
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
coq 2-3-tree avl-tree mathcomp quadtree ssreflect leftist-heap binomial-heap redblack-tree huffman-coding
Created 2021-10-29
96 commits to trunk branch, last one about a month ago