lecopivo

Mathematician interested in physics simulation, computer graphics and numerical methods.

Pinned Repositories

cpp-wrangle
Houdini C++ wrangle node
Language:C++69 8 98
EigenLean
Lean 4 interface to Eigen
Language:C++9 2 01
HouLean
Lean 4 as a scripting language in Houdini
Language:C++16 2 00
Interpolation
N-dimensional interpolation library in C++
Language:C++11 2 01
lean4-karray
Language:Lean13 3 01
magnum-imgui
Language:CMake10 3 26
MathematicaToFEniCS
Set of Mathematica functions which will solve PDEs with FEniCS
Language:Mathematica4 3 02
scientific-computing-lean
work in progress book on Scientific Computing in Lean
Language:Lean12 2 52
SciLean
Scientific computing in Lean 4
Language:Lean375 20 4132
WaterSurfaceWavelets
Language:C++142 14 527

lecopivo's Repositories

lecopivo/SciLean
Scientific computing in Lean 4
Language:Lean375 20 4132
lecopivo/WaterSurfaceWavelets
Language:C++142 14 527
lecopivo/HouLean
Lean 4 as a scripting language in Houdini
Language:C++16 2 00
lecopivo/lean4-karray
Language:Lean13 3 01
lecopivo/scientific-computing-lean
work in progress book on Scientific Computing in Lean
Language:Lean12 2 52
lecopivo/EigenLean
Lean 4 interface to Eigen
Language:C++9 2 01
lecopivo/LeanBLAS
Bindings and specification for BLAS
Language:Lean6 2 0
lecopivo/ReverseFFIwithMathlib
Example project for reverse FFI using Lean+mathlib
Language:Shell6 1 02
lecopivo/Probly
Probabilistic programming in Lean 4
Language:Lean5 1 0
lecopivo/SciLeanDemo
Demo project for SciLean
Language:Lean5 1 01
lecopivo/SciLeanExamples
SciLean examples mainly running through widgets
Language:Lean4 2 00
lecopivo/wolfram-mode
Emacs editing mode for Mathematica and inferior shell.
Language:Emacs Lisp2 4 01
lecopivo/lean-cpp-ffi
test of using c++ in lean ffi
Language:Lean1 1 0
lecopivo/sphere-eversion
Formalization of the existence of sphere eversions
Language:Lean1 0 0
lecopivo/CompiledMathlib
Mathlib with compiled binaries
Language:Lean
lecopivo/ForLoopSpeed
Testing out Lean's for loop speed
Language:Lean1 0
lecopivo/gradbench
Benchmark for differentiable programming across languages and domains.
Language:C++0 0
lecopivo/leaf-classification
Language:Python2 0
lecopivo/lean-gym
Language:Lean0 0
lecopivo/lean-orbifolds
An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.
lecopivo/lean4
Lean 4 programming language and theorem prover
Language:Lean1 0
lecopivo/lean4-mode
Emacs major mode for Lean 4
Language:Emacs Lisp1 0
lecopivo/LeanColls
WIP collections library for Lean 4
Language:Lean0 0
lecopivo/leanPluginTest
Language:C++2 0
lecopivo/lecopivo.github.io
Language:HTML2 0
lecopivo/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Language:Coq1 0
lecopivo/mathlib
Lean mathematical components library
Language:Lean1 0
lecopivo/mathlib4
Work in progress mathlib port for lean 4
Language:Lean1 0
lecopivo/openvdb_dev
OpenVDB Development Repository
Language:C++0 0
lecopivo/WidgetKit
Helper toolkit for creating your own Lean 4 UserWidgets
Language:Lean0 0