Skip to content
Change the repository type filter

All

    Repositories list

    • seer

      Public
      Python
      MIT License
      0300Updated Mar 4, 2025Mar 4, 2025
    • Python
      MIT License
      0000Updated Mar 3, 2025Mar 3, 2025
    • _LARC

      Public
      Language-annotated Abstraction and Reasoning Corpus
      JavaScript
      Other
      10000Updated Feb 17, 2025Feb 17, 2025
    • _PlanExe

      Public
      AI planner similar to OpenAI's deep research
      Python
      MIT License
      17100Updated Feb 12, 2025Feb 12, 2025
    • procedural reasoning datasets
      Python
      Apache License 2.0
      50000Updated Feb 10, 2025Feb 10, 2025
    • arcprize

      Public
      investigations into the ARC challenge
      Python
      MIT License
      1400Updated 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
    • Materials for ConceptARC paper
      MIT License
      7000Updated Nov 6, 2024Nov 6, 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
    • 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