Search Results for "android linux os" - Page 17
Sort By:
Showing 402 open source projects for "android linux os"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Open Voxel Engine for RTS
Java based Open source Voxel Engine for RTS games
OVERTS© is an open source Java coded gaming engine that is designed for the creation of turn-based and real-time strategy games. The aims of this project is to create easy to use tools to create worlds, terrains, and objects, with an easy to use Voxel editor, as well as provide an API for easy coding of most any style of strategy game one can think of. -
2
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
