GitPlanet
All Git Users → lecopivo

3 open source projects by lecopivo

[ Open user page on Github ]
1. Watersurfacewavelets
✭ 100
2. cpp-wrangle
Houdini C++ wrangle node
✭ 54
C++cCMake
3. SciLean
Scientific computing in Lean 4
✭ 86
Leanscientific-computingnumerical-methodssymbolic-computationlean4
1-3 of 3 user projects