Search Results for "linux android os" - Page 17
Sort By:
Showing 405 open source projects for "linux android os"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
1
Undx is a bytecode translator, it converts the bytecode for the dalvik vm (a virtual machine for android applications) to standard java bytecode.
-
2
cosmos
Algorithms that run our universe | Your personal library of every algo
Cosmos (by OpenGenus Foundation) is your personal offline collection of every algorithm and data structure one will ever encounter and use in a lifetime. This provides solutions in various languages spanning C, C++, Java, JavaScript, Swift, Python, Go and others. This work is maintained by a community of hundreds of people and is a massive collaborative effort to bring the readily available coding knowledge offline. -
3
jansolo stands for Java AnnotatioN SOLution Open framework. The main goal is to build up a MVC framework to design web applications using annotations, and integrate with popular OS java technologies to provide a simple bridge to them
-
4
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. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
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...