General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
$300 Free Credits for Your Google Cloud Projects
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch 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.
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
NeuralJ is a free, open-source neural network library for Java applications. It is the purpose of this project to make the easiest, most flexible and reliable, neural network platform available.
XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>
RAS is the acronym for Result Assessment System. The primary purpose of RAS is helping users manage, visualize, assess and report results obtained from experimental search algorithms.
Prenzl!! is a desktop application and a screen saver running artistic cellular automata. The application is based on an Eclipse architecture and the rules can be in native. Our mission is to provide a viewer and an SDK for this kind of art, called CArt.
MS Excel, OOo Calc, Matlab steam and water properties based on IAPWS IF-97 Standard. Provide accurate steam and water properties such as enthalpy from 0-100 bar and 0-2000°C. The perfect tool both for replacing paper tables and for advanced calculations
Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; graph transformation tools; graph modelling on distributed system; real-time modelling on GerdaFramework.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
CCompilerSuite is a complete framework to compile a rich dialect of ANSI-C onto a RISC-like assembly, with a Virtual Machine as well. It provides for minimized tree creation, partial evaluation and semantic checks. Project is in C++ and fully extensible.
musicomp is a program which most important element is an evolutionary algorithm which uses data mining methods as a fitness function to generate monophone melodies.
Software tool that emphasizes useful information, communication, and intent. Accomplish any conceivable computer task by transforming fuzzy abstract data-structures in a fractal vector graphics user interface.
To create the ultimate editor LaTeX and its variants specifically targeting writting and science. Assist the user with table editor, speed-writing etc..
JMill is the java-based game of "Nine Men's Morris".
This project is son of the greater parent SourceForge project "JGames", that realizes the real game environment...
An attempt at a Xanalogical Web, comprised of a CGI system with both native and HTML interfaces, a set of standards, a backend supporting Transclusion, versioning, and a custom browser with support for Transpointing and editing.
Tedir is a general purpose top-down parser library for java. Unlike a parser generator, it allows efficient parsers to be constructed at run-time, rather than at compile-time, and allows parsers to be extended while running.
Avian Freeware Suite (AFS) provides two things: Developers with libraries for Java Swing Widgets, XML handling, Fortran95 and Pascal; End users (Medical students, doctors, scientists) with productivity tools they can use (quizzes, XML databasing & PDF)
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
The VilAug framework for visual linguistics! This gadget contains an IconNet with icons like WordNet and an IconMessenger as instant messenger. A new ontology is used, grammars for visual languages designed. A language with signs? Create it with VilAug.