Search Results for "apache gui"
Sort By:
Showing 2 open source projects for "apache gui"
View related business solutions-
Vertex AI offers everything you need to build and use generative AI—from AI solutions, to Search and Conversation, to 130+ foundation models, to a unified AI platform.
-
Track all your service data in one easy-to-use system, enabling your team to move faster and generate more revenue for your bottom line.
-
1
XLogo4Schools
A Logo interpreter and programming environment specialized for schools
... is now smoother and more appealing due to different rendering settings. Various features have been added to support better user experience and satisfaction in schools. @Translations: The new GUI parts are available in * English * German * French * Italian If you would like to make the application available in your language and if you would like to contribute, please contact us. * * * * * * * * * * * News * * * * * * * * * * The X4S Manual is now available on the files page. -
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...
- Previous
- You're on page 1
- Next