2 results found Sort:

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 7 days ago
ossner
TUMGAD ossner
4
41
mit
3
Exercise generator and helpful materials for the Introduction to Algorithms and Data Structures 📚
tum java latex munich tumgad avl-tree exercise algorithm algorithms university binomial-heap datastructures dijkstra-algorithm algorithms-and-data-structures
Created 2020-02-19
478 commits to master branch, last one 2 years ago