Skip to content
Change the repository type filter

All

    Repositories list

    • seer

      Public
      Python
      MIT License
      0100Updated Jan 12, 2025Jan 12, 2025
    • arcprize

      Public
      investigations into the ARC challenge
      Python
      MIT License
      1500Updated Jan 5, 2025Jan 5, 2025
    • session logs on ARC tests
      HTML
      MIT License
      0000Updated Dec 22, 2024Dec 22, 2024
    • .github

      Public
      content for the GEOMETOR Github organization
      0000Updated Dec 1, 2024Dec 1, 2024
    • Python
      5000Updated Jun 20, 2024Jun 20, 2024
    • model

      Public
      generate classical geometric constructions with the precision of symbolic algebra
      HTML
      MIT License
      0100Updated Jun 16, 2024Jun 16, 2024
    • LLM Debate on ARC dataset
      Python
      MIT License
      1000Updated Jun 15, 2024Jun 15, 2024
    • aimoprize

      Public
      exploring the path to AI geometry solutions
      CSS
      MIT License
      0000Updated Jun 14, 2024Jun 14, 2024
    • general website and blog for the GEOMETOR project
      HTML
      0010Updated May 6, 2024May 6, 2024
    • divine

      Public
      model and investigate the golden ratio and its properties
      HTML
      MIT License
      0000Updated Nov 21, 2023Nov 21, 2023
    • render

      Public
      plot and animate geometric constructions
      Python
      MIT License
      0000Updated Nov 21, 2023Nov 21, 2023
    • relop

      Public
      foundational study of relational operators < >
      Rich Text Format
      MIT License
      0030Updated Nov 13, 2023Nov 13, 2023
    • python modules and notebooks for analyzing polynomial series
      Jupyter Notebook
      MIT License
      2360Updated Nov 13, 2023Nov 13, 2023
    • geometric analysis of phyllotaxic patterns
      Jupyter Notebook
      MIT License
      0000Updated Nov 13, 2023Nov 13, 2023
    • HTML
      MIT License
      0000Updated Nov 13, 2023Nov 13, 2023
    • euclid

      Public
      extract knowledge from the Elements of Euclid
      Python
      MIT License
      0000Updated Nov 13, 2023Nov 13, 2023
    • explorer

      Public
      Python
      MIT License
      0000Updated Nov 13, 2023Nov 13, 2023
    • etc

      Public
      HTML
      MIT License
      0000Updated Nov 13, 2023Nov 13, 2023
    • elements

      Public
      codify the fundamentals of geometry and logical relationships
      Python
      MIT License
      0000Updated Nov 13, 2023Nov 13, 2023
    • pappus

      Public
      Python
      MIT License
      0000Updated Aug 5, 2023Aug 5, 2023
    • codify the fundamentals of geometry and logical relationships
      Python
      MIT License
      0000Updated Aug 3, 2023Aug 3, 2023
    • _LARC

      Public
      Language-annotated Abstraction and Reasoning Corpus
      JavaScript
      Other
      10000Updated May 20, 2023May 20, 2023
    • model and investigate the golden ratio and its properties
      Python
      MIT License
      0000Updated Apr 25, 2023Apr 25, 2023
    • exploration of pappus theorem
      Python
      MIT License
      0000Updated Apr 25, 2023Apr 25, 2023
    • a python-based graphics and animation engine for exploring classical constructive geometry and documenting instances of Golden Sections with algebraic proofs.
      Python
      1830Updated Apr 25, 2023Apr 25, 2023
    • modules to model and render geometric constructions using geometor-explorer
      Python
      MIT License
      1000Updated Apr 25, 2023Apr 25, 2023
    • sympy

      Public
      A computer algebra system written in pure Python
      Python
      Other
      4.5k000Updated Apr 20, 2023Apr 20, 2023
    • PHOTON archive for the study of Euclid's Elements
      PHP
      00044Updated Mar 5, 2023Mar 5, 2023
    • geometric construction studies
      JavaScript
      0007Updated Mar 4, 2023Mar 4, 2023
    • initial animation of a Geogebra construction featuring 3 separate geometric constructions to arrive at the same golden section
      JavaScript
      MIT License
      0202Updated Mar 3, 2023Mar 3, 2023