Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Repository Index
77,852 visible repositories in the index
241–243 of 243 · Most stars
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
Common Lisp The Language Second Edition
- book
- common-lisp
- documentation
- lisp