Similar repositories to utensil/lean-playground:
utensil/lean-playground
github
similar
davidho95/tfmonopoles
github
similar
sbreuils/GADigitizedTransformations
github
similar
danflapjax/GeometricAlgebraForMathematica
github
similar
Ziriax/KleinSharp
github
similar
pygae/cppganja
github
similar
KILLTUBE/Blenja.JS
github
similar
ziriax/KleinSharp
github
similar
dyaso/klein-ported-to-rust
github
similar
Jollywatt/GeometricAlgebra.jl
github
similar
Prograf-UFF/TbGAL
github
similar
pygae/lean-ga
github
similar
digitaldomain/Multivectors.jl
github
similar
wrnrlr/g3
github
similar
godefv/math
github
similar
warlockbrawl/warlock
github
similar
RobinKa/tfga
github
similar
pygae/pyganja
github
similar
ModDota/dota-tutorial
github
similar
vincentnozick/garamon
github
similar
CallForSanity/Gaalop
github
similar
jeremyong/gal
github
similar
jeremyong/coop
github
similar
pygae/galgebra
github
similar
tBuLi/symfit
github
similar
chakravala/Grassmann.jl
github
similar
jeremyong/klein
github
similar
fu5ha/ultraviolet
github
similar
termhn/ultraviolet
github
similar
pygae/clifford
github
similar
enkimute/ganja.js
github
similar
facebookresearch/pytorch3d
github
similar
google/jax
github
similar