Tomáš Skřivan's repositories
cpp-wrangle
Houdini C++ wrangle node
scientific-computing-lean
work in progress book on Scientific Computing in Lean
SciLeanExamples
SciLean examples mainly running through widgets
wolfram-mode
Emacs editing mode for Mathematica and inferior shell.
lean-cpp-ffi
test of using c++ in lean ffi
sphere-eversion
Formalization of the existence of sphere eversions
ForLoopSpeed
Testing out Lean's for loop speed
Language:LeanApache-2.0000
lean4-mode
Emacs major mode for Lean 4
LeanColls
WIP collections library for Lean 4
Language:LeanApache-2.0000
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
mathpp
Right now, this is an attempt to implement some abstract nonsense in C++
Language:D000
openvdb_dev
OpenVDB Development Repository
Language:C++MPL-2.0000
ReverseFFIwithMathlib
Example project for reverse FFI using Lean+mathlib
WidgetKit
Helper toolkit for creating your own Lean 4 UserWidgets
Language:LeanApache-2.0000