-
TIC-80 is a fantasy computer where you can make, play and share tiny games.Pricing:
- Open Source
#Game Development #Game Engine #2D Game Engine 66 social mentions
-
Agda is a dependently typed functional programming language. It has inductive families, i.e.Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 7 social mentions