mit-plv/rupicola

Gallina to Bedrock2 compilation toolkit

3 best points · 0 comments · 1 Hacker News post · 72 GitHub stars · View on GitHub

Hacker News discussions

• Rupicola: Relational Compilation for Performance-Critical Applications (3 points, 0 comments, by matt_d, 2022-06-17)