An optimizing compiler that chooses your algorithm from intent, and proves it correct. Describe what you want; it picks heap vs sort, BFS vs Dijkstra, Kadane, and more.

algorithms compiler language-design llvm optimizer programming-language pyodide python
3 Open Issues Need Help Last updated: Jul 17, 2026

Open Issues Need Help

View All on GitHub

An optimizing compiler that chooses your algorithm from intent, and proves it correct. Describe what you want; it picks heap vs sort, BFS vs Dijkstra, Kadane, and more.

Python
#algorithms#compiler#language-design#llvm#optimizer#programming-language#pyodide#python
good first issue research

An optimizing compiler that chooses your algorithm from intent, and proves it correct. Describe what you want; it picks heap vs sort, BFS vs Dijkstra, Kadane, and more.

Python
#algorithms#compiler#language-design#llvm#optimizer#programming-language#pyodide#python

An optimizing compiler that chooses your algorithm from intent, and proves it correct. Describe what you want; it picks heap vs sort, BFS vs Dijkstra, Kadane, and more.

Python
#algorithms#compiler#language-design#llvm#optimizer#programming-language#pyodide#python