Catalogue of Deferred Interesting Pull Requests

Here is a list of pull requests that we decided not to merge for various reasons. Some of them were not possible at the time, others were too far behind the main branch, and some were just not a priority. Despite this, we believe these contributions are valuable and worth keeping track of. We can revisit them in the future and potentially integrate them when time and priorities allow.

• #2241 Experimental VM-based compilation to VampIR
• #1857 Add the tracing library and the sexp library to the project
• #1979 Add juvix org command
• #1816 Allow match branches to have different number of arguments
• #2482 Use DisjointSet to unify variables
• #2264 zkLLVM integration
• Integrate Geb v0.6.0 into Juvix CI