Aeon programming language

genetic-programming liquidtypes programming-language programsynthesis smt-solver
2 Open Issues Need Help Last updated: Jun 17, 2025

Open Issues Need Help

View All on GitHub

AI Summary: Implement support for importing files in the Aeon programming language interpreter, handling both relative paths and imports from the standard library included with the Aeon installation. This involves modifying the Aeon interpreter to correctly resolve and load modules from these different locations.

Complexity: 4/5
enhancement help wanted good first issue

Aeon programming language

Python
#genetic-programming#liquidtypes#programming-language#programsynthesis#smt-solver

AI Summary: The task requires extending the Aeon programming language to bridge the gap between its core functionality and the syntactic sugar needed for seamless integration with existing source code. This involves developing a mechanism to 'lift' code generated at the core level to a more user-friendly, syntactically correct representation suitable for insertion into existing Aeon programs.

Complexity: 4/5
enhancement help wanted good first issue

Aeon programming language

Python
#genetic-programming#liquidtypes#programming-language#programsynthesis#smt-solver