Similar repositories to sudgy/math-from-nothing:
sudgy/math-from-nothing
github
similar
hecrj/iced
github
similar
leanprover-contrib/lean-build-action
github
similar
ml2437/knot-potential-surfaces
github
similar
evcastelani/LiGA.jl
github
similar
andrioni/GeoAlg.jl
github
similar
ArturasAcus/GeometricAlgebra
github
similar
mo-geometry/hopf_fibration
github
similar
BIDS-numpy/numpy-paper
github
similar
spencerparkin/MathPapers
github
similar
eschnett/RayTraceGR.jl
github
similar
pygae/GAlgebra.jl
github
similar
Limeth/hestenes
github
similar
Lichtso/geometric_algebra
github
similar
CodaFi/Agda-Metaprogramming
github
similar
Prograf-UFF/TbGAL
github
similar
wrnrlr/g3
github
similar
christiankral/ElectricalEngineering.jl
github
similar
ImperialCollegeLondon/complex-number-game
github
similar
jlaragonvera/Geometric-Algebra
github
similar
RobinKa/tfga
github
similar
fizyk20/differential-geometry
github
similar
pygae/pyganja
github
similar
dalum/Sylvia.jl
github
similar
jeremyong/gal
github
similar
lecopivo/SciLean
github
similar
HarrisonGrodin/Simplify.jl
github
similar
inducer/pymbolic
github
similar
wbhart/Nemo.jl
github
similar
fredrik-johansson/fungrim
github
similar
adamnemecek/adjoint
github
similar
jlapeyre/Symata.jl
github
similar
pygae/galgebra
github
similar
symengine/SymEngine.jl
github
similar
chakravala/Grassmann.jl
github
similar
chakravala/Reduce.jl
github
similar
wolftype/versor
github
similar
KristofferC/PGFPlotsX.jl
github
similar
pygae/clifford
github
similar
leanprover-community/lean
github
similar