A Verified Compiler for Gallina, Written in Gallina
-
Updated
Aug 21, 2024 - Coq
#
gallina
Here are 3 public repositories matching this topic...
A game based on the popular game Crossy Road, developed in C and C++ using OpenGL and GLUT for 3D graphics.
c
visual-studio
opengl
cpp
game-development
glut
chicken
juego
3d
road
3d-graphics
3d-game
crossy-road
crossyroad
gallina
-
Updated
Oct 13, 2023 - C
Improve this page
Add a description, image, and links to the gallina topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gallina topic, visit your repo's landing page and select "manage topics."