Repos by lecopivo

lecopivo / repos

25 repos

	Repo	Language	Stars	Rank
	SciLean	Lean	220	11
	WaterSurfaceWavelets	C++	137	14,690
	cpp-wrangle	C++	66	26,278
	HouLean	C++	15	78,061
	magnum-imgui	CMake	10	1,787
	lean4-karray	Lean	10	236
	Interpolation	C++	9	114,515
	EigenLean	C++	9	110,724
	scientific-computing-lean	JavaScript	5	441,847
	SciLeanExamples	Lean	4	469