Awesome Open Source

Programming Languages

Search results for video game lean

0 search results found

Natural_number_game ⭐ 178

Building the natural numbers in Lean.

Lean Game Maker ⭐ 47

This project converts structured Lean code into an interactive browser game.

Group Theory Game ⭐ 43

Building group theory from scratch in Lean

Real Number Game ⭐ 33

A gamification of the theorems in MATH40002 Analysis 1

Complex Number Game ⭐ 28

The Complex Number Game. Make the complex numbers in Lean.

A head tracking technique for FPS games. It allows players to perform an in-game lean movement by tilting their own head. It simultaneously replicates the shaky-cam effect used in films in order to make the game feel more realistic and immersive.

Tkotriviaalexa ⭐ 6

1-0 of 0 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.