Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
InEight is a leader in construction project controls software
InEight serves contractors, owners, and engineers in capital construction
Minimize risks, gain operational efficiency, control project costs, and make confident, informed decisions. InEight software has your back during every stage of construction, from accurate pre-planning to predictable execution and completion. When project teams collaborate effectively, every decision is backed by precise, authoritative insights.
PlayShell is a simple console-based application for playing media files in Linux using known media players like SoX, VLC, MPlayer and FFplay as backend.
Photo slideshow generator including a Ken Burns effect along smooth curves, user definable soft luma transitions, and easy audio integration. Produces MPEG (MPEG2, MPEG4), DV or FLV for DVD creation or for the web.
mp3 library, advanced ID3V1 and ID3V2 tagger, player. Organize a large mp3 library, over 40,000 songs. Speech synthesis and tag backup utilities. Scripts to maintain and organize song files.
Easy-to-use online form builder for every business.
Create online forms and publish them. Get an email for each response. Collect data.
Easy-to-use online form builder for every business. Create online forms and publish them. Get an email for each response. Collect data. Design professional looking forms with JotForm Online Form Builder. Customize with advanced styling options to match your branding. Speed up and simplify your daily work by automating complex tasks with JotForm’s industry leading features. Securely and easily sell products. Collect subscription fees and donations. Being away from your computer shouldn’t stop you from getting the information you need. No matter where you work, JotForm Mobile Forms lets you collect data offline with powerful forms you can manage from your phone or tablet. Get the full power of JotForm at your fingertips. JotForm PDF Editor automatically turns collected form responses into professional, secure PDF documents that you can share with colleagues and customers. Easily generate custom PDF files online!
Download GPS track from the GPS logger "Solmeta Geotagger Pro" under Linux; Auslesen des Geotaggers * Geotag images with image direction, pitch, roll; Geotagging mit Blickrichtung * Altitudes/Höhen from geonames.org * NMEA analysis: DOP, satellite
Gnome picture Of The Day background changer.
Parses the description of the image and saves it to a file so that applications such as conky can read it for display.
AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.
Trusted by 750+ companies and performing 200k+ code scans monthly.
ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
bbips - Bash Batch Image Processing Scripts. A collection of bash scripts that use Imagemagick to "batch" process entire directories of images all at once. For use with Linux and Unix systems to batch process *.jpg image files from the bash shell.
Plait (pronounced "play") is a command-line jukebox and music player front-end. It understands brief queries that pick a single song, mix queries that combine works from multiple artists, and stream queries that find Shoutcast radio streams.
wxyzv is very small image viewer (with minimal image processing functions) that works under X Window System or SVGAlib. It needs no external image processing libraries or GUI libraries. It has no GUI, it is completely keyboard-driven.