Skip to content

Issues: CakeML/cakeml

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
22 Open 1 Closed
22 Open 1 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support heap images for cakeml. high effort medium reward Easy to measure but may not be noticed by itself performance Runtime of a plausible real cakeml-generated binary
#1133 opened Feb 5, 2025 by ordinarymath
3
Keep namespaces throughout the compiler. high effort low reward Likely requires special techniques even to measure effectiveness
#1132 opened Feb 4, 2025 by ordinarymath
Reimplement translator dev experience Makes tasks developing cakeml itself easier high effort translator
#1113 opened Dec 11, 2024 by myreen
@myreen
3
Intrinsics system dev experience Makes tasks developing cakeml itself easier enhancement high effort medium effort
#800 opened Oct 15, 2020 by sorear
Unboxed values / storage classes in backend enhancement high effort high reward Improvements that will be noticed, >5-10% speedups performance Runtime of a plausible real cakeml-generated binary uncertain scope
#799 opened Oct 15, 2020 by sorear
Eliminating bignums by leveraging space unsafety enhancement high effort low reward Likely requires special techniques even to measure effectiveness performance Runtime of a plausible real cakeml-generated binary uncertain scope
#786 opened Sep 19, 2020 by sorear
2
Tagged adds code size enhancement high effort medium reward Easy to measure but may not be noticed by itself performance Runtime of a plausible real cakeml-generated binary
#784 opened Sep 19, 2020 by sorear
Keyboard interrupts / asynchronous FFI events enhancement high effort medium reward Easy to measure but may not be noticed by itself uncertain scope user experience Time needed to perform tasks not related to compiler development
#783 opened Sep 19, 2020 by sorear
1
More bignum options enhancement high effort low reward Likely requires special techniques even to measure effectiveness performance Runtime of a plausible real cakeml-generated binary
#781 opened Sep 19, 2020 by sorear
wordLang optimizations and the GC enhancement high effort performance Runtime of a plausible real cakeml-generated binary uncertain scope
#779 opened Sep 17, 2020 by sorear
Book-length living documentation dev experience Makes tasks developing cakeml itself easier enhancement high effort high reward Improvements that will be noticed, >5-10% speedups user experience Time needed to perform tasks not related to compiler development
#772 opened Sep 17, 2020 by sorear
In-place garbage collection enhancement high effort high reward Improvements that will be noticed, >5-10% speedups user experience Time needed to perform tasks not related to compiler development
#771 opened Sep 17, 2020 by sorear
Functional SSA code size enhancement high effort high reward Improvements that will be noticed, >5-10% speedups performance Runtime of a plausible real cakeml-generated binary
#764 opened Sep 17, 2020 by sorear
Easier prototyping of code dev experience Makes tasks developing cakeml itself easier high effort low effort May still assume familiarity user experience Time needed to perform tasks not related to compiler development
#748 opened Sep 7, 2020 by tanyongkiam
7
Words of any bitwidth in the semantics enhancement high effort medium reward Easy to measure but may not be noticed by itself
#499 opened Jul 12, 2018 by myreen
@formrre
1
Lambda lifting as a source-to-source pass enhancement high effort medium reward Easy to measure but may not be noticed by itself student project can be done as a student project (at various levels)
#474 opened Mar 13, 2018 by myreen
@zapashcanon
3
Reducing boxing and unboxing of Word64 values enhancement help wanted high effort
#454 opened Feb 6, 2018 by formrre
1
Add simple form of higher-order inlining high effort medium reward Easy to measure but may not be noticed by itself student project can be done as a student project (at various levels)
#267 opened Apr 24, 2017 by myreen
Support for multi-case functions defined by pattern matching enhancement help wanted high effort low reward Likely requires special techniques even to measure effectiveness user experience Time needed to perform tasks not related to compiler development
#264 opened Apr 23, 2017 by xrchz
@mn200 @SOwens
7
Avoid going through calling convention when entering Handle enhancement help wanted high effort low reward Likely requires special techniques even to measure effectiveness
#155 opened Sep 28, 2016 by myreen
Use return addresses to index bitmaps code size enhancement high effort low reward Likely requires special techniques even to measure effectiveness
#114 opened May 4, 2016 by myreen
1
better support for translating recursion through higher-order functions help wanted high effort medium reward Easy to measure but may not be noticed by itself translator
#9 opened Dec 23, 2014 by xrchz
@myreen
1
ProTip! Find all open issues with in progress development work with linked:pr.