Pinned Loading

1. SciLean SciLean Public

   Scientific computing in Lean 4

   Lean 338 30

2. WaterSurfaceWavelets WaterSurfaceWavelets Public

   C++ 141 27

3. cpp-wrangle cpp-wrangle Public

   Houdini C++ wrangle node

   C++ 69 8

4. Interpolation Interpolation Public

   N-dimensional interpolation library in C++

   C++ 11 1

5. MathematicaToFEniCS MathematicaToFEniCS Public

   Set of Mathematica functions which will solve PDEs with FEniCS

   Mathematica 4 2

6. magnum-imgui magnum-imgui Public

   CMake 10 6