Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Download Now
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
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.
statJ written in Java contains methods for performing basic statistical operations that describe a sample or population, including measures of central tendency or location, measures of variability or dispersion., and measures of strength of relationship.
This project's goal is to implement Artificial Inteligence algorithms and make them available for any platform but especially for
mobile devices.
The main objective is to allow the community to develop better and more
inteligent mobile games.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built 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.
Gild is an Eclipse plugin that supports the teaching and learning of programming. Gild currently enables teachers to integrate course materials with code examples. Current project work includes improving collaborative, customization, and marking support.
JTestCase uses XML file to organize multi-testcase data and asserting conditions (action and expected result), and provides a set of easy-to-use methods to retrieve test cases out from XML, and asserts results against those expected ones in data file.
The Lazybones project is a server and a collection of clients. It allows one person to voice control multiple machines. Designed for software developers and sys admins, Lazybones speeds up redundant and/or complex tasks.
The aim of this project is to provide a free software for schools and universities to evaluate lectures and education in general. The software has been and will be originated at the University Of Applied Sciences Dortmund, Department of Computer Science.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Das Horner-Schema ist ein schnelles und einfaches Verfahren, um einen Funktionswert von Polynomen an einem gegeben Wert zu berechnen. Dieses Projekt beinhält eine Facharbeit und Programmierbeispiele in Pascal und Java zum Thema.
This will be a software tool to improve polls and use digital questionnaires. The back-end will be written in pure java. The front-end will be an improved PHPSurveyor interface.
The purpose of the cinc project is to develop an emulator for Bell Labs' Cardiac (cardboard illustrative aid to computation) computer. The main product from this project is a Java program called jcinc.
IntelliGrader is an autograder generation framework for use in automatically grading java programs. The primary audience is professors and TAs in introductory CS courses using Java. Secondary audiences could possibly include highschool AP CS teachers.
JOthi is the java-based game of "Othello". This project is son of the greater parent SourceForge project "JGames", that realizes the real game environment: JOthi only defines the "Othello" game rules and its specific AI players.
PSIMAP is the Protein Structural Interactome MAP, a map of all the domain level protein-protein interactions in the Protein Data Bank (PDB). PSIsoft is an archive of the software used to generate and analyse PSIMAP.
Math4J is a java library with an object-oriented design of some mathematical ideas: functions, primality, complex numbers, etc. It also consists of some utility methods and classes for mathematical constructions.
InsecureWebApp is a web app that includes common web application vulnerabilities including SQL&Html Injection- see owasp.org. It is a target for automated and manual penetration testing, source code analysis, vulnerability assessments and threat modeling.
The Eclipe Eiffel Development Tools (EDT) are a set of plugins which eventually implement a full-fledged, highly integrated Eiffel development environment based on the Eclipse Platform. The EDT plugins contribute a number of facilities specific to Eiffel
Tapir provides additional functionality to digital asset management software DSpace primarily designed for Electronic Theses and Dissertations supervision, submission and dissemination. Go to http://www.thesesalive.ac.uk/dsp_home.shtml for more informat
DukeBot is a small but powerfull learning/teaching GUI-comp for pubils and students to learn "How to code". It´s a gameing-style Java-Component for training every kind of programmingproblem. The Bot knows different orders and sensors.
RADLib is a graphics library. It was written in order to help developers design graphics applications easily and quickly. The library is available for .NET, Java, Delphi, Kylix.
JSys is a simple to use graphical package for simulating continuous dynamical systems. It was created for use in a first level undergraduate introduction to systems thinking for students of Information Technology and Information Systems.