Search Results for "android port tool"
Sort By:
Showing 4 open source projects for "android port tool"
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.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
Simple Turtle LOGO
Free Educational Tool for Beginner LOGO Coding (STEM Students / Kids)
SIMPLE TURTLE ================ Create simple LOGO programs with commands to control the Turtle and draw amazing images!! Use for STEM, Coderdojo or similar coding events. Recursive REPEAT statements. INSTANT ON / OFF = Turns on / off immediate execution of commands FD x = Forward x pixels BK x = Backward x pixels RT x = Right by x degrees LT x = Left by x degrees PU = Pen Up (Do not draw) PD = Pen Down (Draw) REPEAT x = Creates a loop to run x times which... -
2
jWAM
A 100% Java Warren Abstract Machine implementation.
...However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. Most notable to-do's: - Built-in predicates. - Debugging tools. - Testing. - Documentation and commenting. - Android port. (I have the engine working with a test app but I still need to build a proper app). - Alpha release -
3
jAstyle is a 100% pure Java port of the GPL’d AStyle (http://astyle.sourceforge.net/). jAstyle is intented to be created as a library and not as a command line tool, so It does not support those options associated to standard output or console.
-
4
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. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
- Previous
- You're on page 1
- Next
