Repos by ImperialCollegeLondon

ImperialCollegeLondon / repos

462 repos

	Repo	Language	Stars	Rank
	ICLOCS	MATLAB	64	1,324
	formalising-mathematics-2024	Lean	62	48
	M4P33	Lean	57	57
	group-theory-game	Lean	57	56
	pnextract	C++	53	31,349
	formalising-mathematics-2023	Lean	48	69
	epidemia	R	44	3,763
	EventEMin	C++	37	40,967
	Visual2	F#	35	613
	pnflow	C	35	31,540