The slides for the tutorial's lecture component are at talks/iris-popl21-tutorial.pdf. You can also watch the recording of this talk from POPL'21. The Coq demo source is in demo.v. The tutorial ...

Why did you make Iris? Iris was created to fill a void that I saw in the Minecraft customization and graphical enhancement community: the lack of an open-source shaders mod that would let me load my ...

Minecraft shaders are an excellent way of accentuating the game's beauty and adding extra visual features. Despite being one of the most successful games in history, Minecraft's graphics leave much to ...

Minecraft is no stranger to mods. While the title was still in beta, and before it featured any official multiplayer, the community was taking the game’s code and editing it to add multiplayer ...