Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini 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.
Try It Free
Veeam Data Platform v13.1 - Get Your Free Trial
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.
Javaland is online exam open framework. The examiners can publish their exam questions to framework. Those exams will configured automatically and available for normal users with history management, random questions selections and notfications facilties.
bobjects package allows beginning students to do GUI programming, implement object persistence, numeric testing, and date calcs. The GUI utility (GUIbrew class) supports introductory assignments with familiar GUI dialogs avoiding green screen console I/O
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
YOPS (Ye Olde Photo Shoppe) is a media manipulation framework written in Java. Computer science educators use this framework to help novices learn and practice fundamental programming concepts by having them create tools for their own photoshop-like app.
An J2ME aplication, which allows to view texts in mobile phone (books, articles ...). These texts are inside a .jar file. To inject them into phone, use loader utility. Application also supports user bookmarks and remembers, where you finished reading.
Be educated during election season! Politico is a game that lets you keep track of the decisions your government representatives are making. At the end of the election term, the game summary will help you decide how to cast your vote.
Simple Logo is a small and very basic Logo interpreter intended to be used as an educational tool, to allow children to learn a simple programming language.
IIControl is a library for controlling fischertechnik models via the Intelligent Interface. IIControl is written in Java and provides complete abstraction from the interface and the hassle controling the serial port.
Code libraries and media files contributed by Whoola, Inc. Includes Whoola Cyberspace, a virtual reality web browser with fly-through hyperlinks. The source code includes a COLLADA loader for Xith. Click on the "Home Page" link above to install.
ETH Lecture Communicator is a tool to improve the interaction in the classroom. The software enables the instructor to create and carry out in-class online-assessments and facilitates organized and instant two-way communication for big classes.
GestorXML is a DMS. It's based on XML. You can classify documents by categories, adding security constraints based on users and groups. The documents are managed by an standalone application and consulted through an web interface.
java2web is a java to html source code converter which a wide array of features, including CSS customization, outline generation, automatic javadoc liking, selective highlighting and a lot more.
Metadata-based information portal that will ultimately function as a portal/institutional repository with content management capabilities. Flexible search indexing/scoring, robust metadata definitions, hierarchical structure, and much more to come.
HardCoder - A powerful software for conducting online exams/competitions on C/C++/Java/C#. The software can compile, run, test and judge winners of code written in either of C, C++, Java or C# programming languages, all by itself.
Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
SpellTime is a program to help kids (or adults) learn their spelling. It allows for the creation of word lists which can be added to student names. Words recorded to wav format files are played back to the student. Students can practise or take tests.
Shibboleth Jabber Instant Messaging agent - utilizes Jabber IM with out-of-band Shibboleth authentication for secure anonymous chat (e.g. between an authenticated library user and a librarian), with programmable behaviour.