Explore projects
-
This is the Lean project contained in my master's thesis `Computability and L^2-Betti numbers' For installation guidelines, see installation-guidelines.txt
Updated -
Updated
-
Updated
-
-
NDSSEARCH reads .csv files with email addresses from the University of Regensbur (like in a .csv file exported from FlexNow) and retrieves corresponding NDS accounts from the university's LDAP server.
Updated -
Updated
-
Updated
-
This is a script for plotting the results from T-maze experiments in Drosophila melanogaster tested twice
Updated -
MatLab code to compute a performance index from Drosophila torque meter data.
Updated -
A set of R scripts for the analysis of fly wingstroke data acquired with fview strokelitude.
Updated -
Scripts of analysing the results from Drosophila walking in the platform with optogenetics
Updated -
software for an optomotor experiment with fruit flies
Updated