gallina

There are 0 repository under gallina topic.

• CertiCoq / certicoq

  A Verified Compiler for Gallina, Written in Gallina

  coqgallinacompilerformal-verification
  Language:Coq 137
• CrossyRoad

  ralodev / CrossyRoad

  A game based on the popular game Crossy Road, developed in C and C++ using OpenGL and GLUT for 3D graphics.

  ccppgame-developmentglutopenglvisual-studio3d3d-game3d-graphicschickencrossy-roadcrossyroadgallinajuegoroad
  Language:C 2

• KevinFroissart / coqTP

  Coq programs made during my Bachelor's Degree at the University of Lyon in France.

  coqproofgallina
  Language:Coq 1