Repos by lecopivo

lecopivo / repos

25 repos

	Repo	Language	Stars	Rank
	SciLean	Lean	230	10
	WaterSurfaceWavelets	C++	137	14,931
	cpp-wrangle	C++	66	26,701
	HouLean	C++	15	79,387
	lean4-karray	Lean	11	233
	magnum-imgui	CMake	10	1,816
	Interpolation	C++	9	116,464
	EigenLean	C++	9	112,555
	scientific-computing-lean	JavaScript	8	319,595
	SciLeanExamples	Lean	4	493