Datasets
- 6 results
Search results
-
ANN Benchmarks - hfichtenberger/ann-benchmarks:
Bernhardsson, E. (Creator), Aumüller, M. (Contributor), Faithfull, A. (Contributor), Boytsov, L. (Contributor), Razenshteyn, I. (Contributor), Algorithms, A. A. (Creator), McInnes, L. (Contributor), Malkov, Y. (Creator), Erramuzpe, A. (Contributor), Frederickson, B. (Contributor), Fichtenberger, H. (Contributor) & Rohde, D. (Creator), ZENODO, 16 Oct 2018
DOI: 10.5281/zenodo.1463824, https://zenodo.org/record/1463824 and one more link, https://github.com/hfichtenberger/ann-benchmarks/tree/nips (show fewer)
Dataset: Software
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 31 May 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Dataset: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 27 May 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Dataset: Software
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Creator), ZENODO, 15 Dec 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Dataset: Software
-
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Creator), Hutton, G. (Creator) & Patrick, B. (Creator), ZENODO, 18 Jul 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Dataset: Software
-
Reproducibility dataset for the paper "ANN-Benchmarks: A benchmarking tool for approximate nearest neighbor search"
Aumüller, M. (Creator), ZENODO, 16 Mar 2021
DOI: 10.5281/zenodo.5613101, https://zenodo.org/record/5613101
Dataset: Software