Updated 10 months ago

dataverseur • Science 39%

🫖 A dataverse API R wrapper to enhance the deposit procedure using only R variable declarations

Updated 10 months ago

citeassist • Science 44%

CiteAssist generates preprints, suggests related papers, and adds BibTeX annotation to the PDF

Updated 10 months ago

kruskal-veldman • Science 49%

An adaptation of Wim Veldman's proof of the tree theorem to Coq

Updated 10 months ago

2018-06-14-nwu • Science 18%

Updated 10 months ago

https://github.com/apoorv74/rcrawler • Science 23%

An R web crawler and scraper

Updated 10 months ago

update-toets • Science 18%

Updated 10 months ago

visuo_llm • Science 36%

Code for the analyses in the paper 'High-level visual representations in the human brain are aligned with large language models', published in Nature Machine Intelligence.

Updated 10 months ago

kruskal-finite • Science 26%

Tools for dealing with finiteness and choice

Updated 10 months ago

links-database-setup • Science 31%

Simple setup script including data for Links database examples

Updated 10 months ago

kruskal-higman • Science 49%

Detailed proof of Higman's lemma for unary trees and lists

Updated 10 months ago

ssl-acoustic • Science 57%

SSL Model for Underwater Acoustic Data