Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by lecopivo

A curated list of projects in awesome lists by lecopivo .

https://github.com/lecopivo/HouLean

Lean 4 as a scripting language in Houdini

houdini houdini-plugin lean4

Last synced: 04 Aug 2024

https://github.com/lecopivo/EigenLean

Lean 4 interface to Eigen

eigen3 lean4

Last synced: 04 Aug 2024

https://github.com/lecopivo/scientific-computing-lean

work in progress book on Scientific Computing in Lean

Last synced: 04 Aug 2024

https://github.com/lecopivo/lean-cpp-ffi

test of using c++ in lean ffi

Last synced: 09 Aug 2024