Pinned Loading

1. Mai-LinhC/ITP-project-verif-gdscript Mai-LinhC/ITP-project-verif-gdscript Public

   In this project, we formalize a subset of GDScript, covering variable assignment, method declaration, the process and ready functions, statements such as branching, but more importantly the handlin…

   Rocq Prover 1

2. between-the-lines between-the-lines Public

   A game made in Godot for the DH-414 course "Game design & prototyping" at EPFL.

   GDScript 1

3. Back-to-the-roots Back-to-the-roots Public

   Back to the Roots in a farming simulation game developed in Godot 4 for a Bachelor's research project at EPFL

   GDScript 1

4. GirliesStdio/elementalchemy GirliesStdio/elementalchemy Public

   A crafting game made in Godot during Orbital Game Jam 7. Grow elements and mix them in your brewing stand to try and collect them all.

   GDScript 1

5. SidonieBouthors/pipeline-panik SidonieBouthors/pipeline-panik Public

   A game about pipelining

   GDScript 1 1

6. Yam Yam Public

   A Yahtzee/Yam game using Godot

   GDScript 1