Search Results for "project java" - Page 4
Sort By:
Showing 83 open source projects for "project java"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
This project is a Java library (.jar) that reads the Java Byte Code file (.class) and formats it into a data structure. However, it a alpha version that it does not support J2ME byte code, and tested in JDK 1.5 environment.
-
2
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.). This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/
-
3
A static analyzer for Java programs that checks for design guidelines. The project is adopted from PDL (http://portal.acm.org/citation.cfm?id=1218571).
-
4
The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
Trison has the goal to become a template engine with support of php, java and the transform ability to javascript to intergrate client/serverside generation of code.
-
6
This project purpose is to build a tool for creating Java ME Application descriptors from scratch or from an existing Java ME application JAR file.
-
7
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... -
8
NaRP-i (for Not a Real Pseudo Interpreter) is a multiplatform interpreter. His goal is validate analysis of problems made in a pseudolanguage called NaRP. Narp and Narp-i are so interdependent that they should be regarded as a single project.
