Alternatives

Products that do what Proof Companion – Geometry proof practice for students does

1. 1IT
   Introduction to Simple Computational Geometry Concepts Using C++▲114

   2018 · wykobi.com

2. 2MT
   Math to Code – Interactive NumPy tutorial for engineers▲137

   2020 · mathtocode.com

3. 3IC
   Interactive Calculus via LaTeX▲114

   2018 · ximera.osu.edu

4. 43M
   3D Meshes of Signed Distance Functions in Python▲157

   2021 · github.com

5. 5PA
   "Programming Algorithms in Lisp” Book▲232

   2021 · apress.com

6. 6PB
   Physics-based CAD▲104

   2016 · prandtl.design

7. 7AM
   Advanced Mathematics Library for Node.js and JavaScript▲123

   2012 · github.com

8. 8MA
   MathLingua – A Structured Language of Mathematics▲97

   2021 · mathlingua.org

9. 9MA
   Mathigon – an interactive, personalised mathematics textbook▲22

   2019 · mathigon.org

10. 10AN
    Algebraic Number Theory in Python 3▲157

    2018 · github.com

11. 11AM
    A modernized and annotated code companion to Paul Graham's “On Lisp”▲93

    2015 · github.com

12. 12GC
    Geometric Composition in JavaScript (free book about design and code)▲9

    2020 · programmingdesignsystems.com

13. 13SC
    Squirrel Curve Studio – A simple tool to design spline curves▲88

    2019 · github.com

14. 14GA
    Gridpaste – A tool to paste and share intuitive geometry on the plane▲7

    2014 · gridpaste.io

15. 15LG
    Ludigraphix, geometry-oriented vector drawing software for Mac▲106

    2019 · ludigraphix.org

16. 16MA
    Mathup – A simple MathML authoring tool▲32

    2020 · runarberg.github.io

17. 17HO
    Harmony of the Spheres – Gravity Simulator▲69

    2018 · thehappykoala.github.io

18. 18SA
    Scratchwork – a tool for drawing technical equations and diagrams▲40

    2017 · scratchworktool.com

19. 19NA
    Nodi – an online node-based geometry design tool & platform▲9

    2020 · nodi3d.com

20. 20SS
    Solve Something - an image-based solver for Draw Something▲18

    2012 · itunes.apple.com

21. 21AV
    A Visual Intro to Algorithms (forked from Cormen's/KhanAcademy Course)▲5

    2016 · educative.io

22. 22VM
    Visualizing Maps in R^3▲45

    2020 · topovis.iambeef.com

23. 23CW
    CADWOLF – Web-based math and engineering platform▲26

    2015 · cadwolf.com

24. 24PA
    PreTeX, a LaTeX preprocessor to make math typesetting easier▲31

    2014 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →