This is your work, valued

Tomáš Skřivan

Expert
@lecopivo

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

lecopivo.github.io/

SciLean. Scientific computing in Lean 4

517

WaterSurfaceWavelets. C++

149

cpp-wrangle. Houdini C++ wrangle node

78

HouLean. Lean 4 as a scripting language in Houdini

24

scientific-computing-lean. work in progress book on Scientific Computing in Lean

14

lean4-karray. Lean

13

Interpolation. N-dimensional interpolation library in C++

12

EigenLean. Lean 4 interface to Eigen

12

magnum-imgui. CMake

10

LeanBLAS. Bindings and specification for BLAS

9

ReverseFFIwithMathlib. Example project for reverse FFI using Lean+mathlib

7

Probly. Probabilistic programming in Lean 4

6

SciLeanDemo. Demo project for SciLean

5

another-houdini-mcp. Yet Another Houdini MCP

5

MathematicaToFEniCS. Set of Mathematica functions which will solve PDEs with FEniCS

4

SciLeanExamples. SciLean examples mainly running through widgets

4

OptimizeExpressionToC. Mathematica

3

wolfram-mode. Emacs editing mode for Mathematica and inferior shell.

2

MagnumImguiPort. CMake

2

sphere-eversion. Formalization of the existence of sphere eversions

1

lean-cpp-ffi. test of using c++ in lean ffi

1