Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Try it Free
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
Many computational problems need arithmetic operations in polynomial finite rings over Z/nZ, where n is an integer (n>1). This library provides efficient operations for applications such as integer factorization and primality testing.
As an Eclipse Plugin the COWOZ-CLient supports electronic paper prototyping of a distributed team of UI-Designers in sketching User Interfaces in the early stage of UI-Design together with iterative and distributed usability testing.
This Java project creates a testing environment application to analyze an image at its low level features and suggest tags to clasify it using an ontology search based on the tags of similar images.
Sinalgo is a simulation framework for testing and validating network algorithms. It allows for quick prototyping and verification in freely customizable network settings. It is mainly suited for packet-oriented wireless networks.
DSPemu emule a digital signal processor TMS320F243, with console interface showing the registers and memory. With DSPemu is possible test algorithms such as Filter, FFT/IFFT. This can be integrate and used with a circuit simulator.
MERP is a modular low cost robot platform designed as a research tool or for personal use. It allows real world testing of algorithms developed in simulation for trajectory planning, obstacle avoidance, human robot interaction, among others.
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
This command-line tool will help people who want to compare 2 csv-like files, and get a detailed report on which rows and fields differ between both files. An awk-based version and Perl Version is currently available.
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.
An easy to extend, highly graphical, easy to use 2D robot simulator specialized for path planning algorithms. Can be used in testing various robotic algorithms, and already used for comparison of path planning algorithms like RRT, RRTConnect, PRM, RboT..
Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
The stack tracer is an delphi library for help to make exception handling to informative. The library is written for Delphi 7, but i think will work also on the 5 and 6 versions.
BruteNet is a system of the distributed brute force and distributed calculations built on user extensions capable to solve a great number of problems related to the partition on a lot of machines.With sample extention you can distribute brute md5-hash
dna2abc turns DNA sequences into musical sequences. The key feature is the rule editor; a rule is a regular expression paired with a Tcl script. dna2abc scans a DNA sequence, testing each regular expression: if it matches, the Tcl script is run.
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
ChIPOTle 2.0 is a user friendly tool for performing peak detection in ChIP-chip signal. The tool also has functions for probe sorting, signal normalization, replication merging, and multiple correction testing in a windows interface or *nix command line.
The UI Nav Test Tool is a web based application for testing the usability of labeling and organization for navigation systems. The test tool presents tasks to a research participant and collects data as they interact with a proposed navigation system.
The Collaborative Testing System (CTS) tests parallel software using various implementations of MPI. It works on multiple platforms and supports batch systems including LSF, LCRM and workstations without a batch system. It includes a numerical diff tool.
GradeSignifier provides statistical significance testing for item response data.
In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.
Speaker Workshop is an application for testing speaker drivers using a Windows sound card, then designing and simulating loudspeakers and enclosures and creating and optimizing crossovers.
The Website Automatic Usability Testing EnviRonment is a set of tools to assist usability testing of websites. On SourceForge you'll find our source code (Java) and other details can be found, for the time being, at http://wauter.weeweb.com.au/
FormatCheck screens flat files looking for violations in the format of the data. It uses a set of XML files that define the rules for each file format. The Swing front-end allows the user to run the verification, view and print the errors.