Sign inSign up
himito

Jaime Arias

Community User

LIPN/CNRS

Villetaneuse, France

Displaying 1 to 5 of 5 repositories

image

PyHRF is a set of tools to analyze fMRI data and specifically study hemodynamics.

8y

984

1

image

Parent image for Docker images of Coq (WARNING: This repository is not active anymore)

1y

50K+

3

image

Parent image for Docker images of Coq (WARNING: This repository is not active anymore)

1y

50K+

3

image

Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project

1m

1M+

13

image

Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project

1m

1M+

13