Tomáš Skřivan

SciLean. Scientific computing in Lean 4

WaterSurfaceWavelets. C++

cpp-wrangle. Houdini C++ wrangle node

HouLean. Lean 4 as a scripting language in Houdini

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

lean4-karray. Lean

Interpolation. N-dimensional interpolation library in C++

EigenLean. Lean 4 interface to Eigen

magnum-imgui. CMake

LeanBLAS. Bindings and specification for BLAS

ReverseFFIwithMathlib. Example project for reverse FFI using Lean+mathlib

Probly. Probabilistic programming in Lean 4

SciLeanDemo. Demo project for SciLean

another-houdini-mcp. Yet Another Houdini MCP

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

SciLeanExamples. SciLean examples mainly running through widgets

OptimizeExpressionToC. Mathematica

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

MagnumImguiPort. CMake

sphere-eversion. Formalization of the existence of sphere eversions

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