Repos by ImperialCollegeLondon

ImperialCollegeLondon / repos

458 repos

	Repo	Language	Stars	Rank
	covid19model	Stan	943	1
	formalising-mathematics	Lean	294	8
	natural_number_game	Lean	290	9
	sap-voicebox	MATLAB	228	247
	M40001_lean	Lean	156	15
	sharpy	Python	117	52,494
	formalising-mathematics-2022	Lean	117	20
	django-drf-filepond	Python	101	59,102
	real-number-game	Lean	74	36
	ICLOCS	MATLAB	64	1,306