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
Enterprise-Class Managed File Transfer.
For organizations that need to automate secure file transfers to protect sensitive data.
Diplomat MFT by Coviant Software is a secure, reliable managed file transfer solution designed to simplify and automate SFTP, FTPS, and HTTPS file transfers. Built for seamless integration, Diplomat MFT works across major cloud storage platforms, including AWS S3, Azure Blob, Google Cloud, Oracle Cloud, SharePoint, Dropbox, Box, and more.
Mass video digitization workflow management for archiving
Professional digital video archiving system solution, developed and used by the Austrian national audio/video archive, designed to handle vast amounts of video content from ingest to long-term storage, including analysis, transcoding and metadata.
The Integrating Vision Toolkit (IVT) is a powerful and fast C++ computer vision library with an easy-to-use object-oriented architecture. It offers its own multi-platform GUI toolkit. OpenCV is integrated optionally. Website: http://ivt.sourceforge.net
TV streaming server and digital video recorder for Linux
Tvheadend is a TV streaming server and digital video recorder for Linux. It supports DVB-C(2), DVB-T(2), DVB-S(2), ATSC, SAT>IP, HDHomeRun and IPTV inputs, as well as HTTP, HTSP (own protocol) and SAT>IP outputs.
C++ library for image acquisition and visualization
Library for capturing video from cameras, 3d sensors, frame-grabbers, video files and image sequences.
It can also display multiple images using OpenGL with different layouts. Easy integration with OpenCV, CUDA... Perfect for computer vision.
Keywords: video capture, computer vision, machine vision, opencv, opengl, cameras, video input devices, firewire, usb, gige
DataImpulse - Ethical Provider of Residential, Mobile, and Data Center IPs
For anyone looking for residential proxies, mobile proxies, and datacenter proxies
DataImpulse (dataimpulse.com) is a proxy provider offering a pool of over 90 million ethically sourced residential, mobile, and data center IP addresses from 195 countries. Pricing for residential proxies starts at $1 per GB with a pay-as-you-go model; there are no subscriptions or traffic expiration dates.
A fast closed captions extractor for MPEG and H264 files. Supports DVD, HDTV transport streams, Replay TV. Use this to create .srt (subtitles) files for your TV captures, have transcripts so you can edit subtitles, etc.
This project has moved to its own domain:
https://www.ccextractor.org
Files in sourceforge are left for archival purposes, but new releases will be available from ccextractor.org.
Veejay is a visual instrument and real-time video sampler. It allows you to "play" the video like you would play a piano. While playing, you can record the resulting video directly to disk (video sampling).
Flash Extractor allows you to view, convert to, and extract from Flash files. It is essentially an elaborate combination of multiple open source libraries and applications. For details, please see: http://flashextractor.sourceforge.net/
FreeCSVR is a Free Client for Stream Video Recording
Offering highly reliable, flexible and scalable network-based management for recording and streaming video surveillance footage, FreeCSVR is a Free Client for Stream Video Recording. Featuring industry-leading video quality, intelligent event detection, highly-efficient streaming and storage, and seamless remote access, FreeCSVR is the system video surveillance based on library OpenCV.
DPKLogger is a logging application, created to circumvent Final Cut Pro not being able to add markers while capturing.
It allows you to make a log of timecodes and comments, save it as an rtf and create xml-files that you can import in FCP.
Cloud-Based Software Licensing - Zentitle by Nalpeiron
The #1 Software Licensing Solution. Release new Software License Models fast with no engineering. Increase software sales and drive up revenues.
1000’s software companies have used Zentitle to launch new software products fast and control their entitlements easily - many going from startup to IPO on our platform. Our software monetization infrastructure allows you to easily build or
Freevo is an open source HTPC media centre integrating PVR / DVR funtionality along with music, video, gaming, home automation and more. It is written in python and uses existing popular software such as mplayer, xine and vlc.
thoggen is a DVD backup program based on GStreamer/Gtk+. It encodes into ogg/theora video files, but additional formats (avi, matroska + mpeg4/xvid/mp2/mp3) are planned for the future. thoggen aims to provide a clean and easy to use interface.
NOTE: Project migrated to GitHub in Dec 2020! See https://github.com/Enselic/recordmydesktop
recordMyDesktop is a program that captures audio-video data of a linux desktop session, producing an ogg-encapsulated theora-vorbis file. recordMyDesktop tries to be as unobstrusive as possible by proccessing only regions of the screen that have changed
NLO helps studying the nonlinear optical effects of crystals. It offers a GUI to plot the theoret. expected "maker fringes", captures images from video, retrieves data from and sends data to a LockIn, controls a stepping motor, imports and plots datase
Jaude is "Java pour les Astronomes Utilisateurs de Detecteurs Electroniques". Jaude is Eclipse RCP and plugin based. So it will provide an Eclipse interface for JSky library (http://archive.eso.org/JSky/).
Tools that you really missed for the shell: buffered input/output suitable for video recording, high speed ISAAC pseudo random data generator, recursive diff with progress indicator, instant reboot without shutdown, shrink files to an arbitrary size, ...
DVR lets you record movies from a v4l interface, under Linux. It is based on avifile and can compress data in a variety of formats, such as Divx;-) or Indeo. Sound is recorded in the same time in mp3 or PCM. Its GUI is built with Qt.
With StreamFactory y
Avifile is a library that allows you to read and write compressed AVI files (Indeo? Video, DivX, etc.) under x86 Linux. (De)compression is performed with Win32 DLLs. It includes AVI player, video4linux-compatible capture program and simple AVI recompres
Aims Video4Linux-compatible video capture infrastructure for Solaris. Project develops bt848x driver for Brooktree/Conexant Bt8x8 (Bt848, Bt878 and Fusion878), saa713x driver for Philips SAA7130/7133/7134/7135 cards, header files and utilities
TacitPixel is a scalable C++ framework for building application prototypes for interactive collaborative VR/AR applications. It provides a number of features that make prototyping fast and portable.
TacitPixel is the successor of the TAP and Twisted Pair engines.
Software for a van eck phreaking device. Please use to test security only.
<a href="http://searchsecurity.techtarget.com/sDefinition/0,,sid14_gci550525,00.html">Here</a>'s an explanation if you don't know what van eck phreaking is.
There are popular tape device ArVid which based on ordinary (PAL/SECAM) VHS & ISA board with PLM which often used in Russia and xUSSR. ArVid board are controled by VHS behind integrated multisystem IRC node. I've coded raw driver for this device. Driver
HTPC-melange is a java application aiming to create a PVR/HTPC/VCR/multimedia jukebox. It provides support TV capture/recording, an EPG, playing audio and video files, a photo gallery, weather data etc. It is based on an extensible plugin framework.
A simple text mode utility for extracting mpg files from ReplayTV Personal Video Recorders via TCP/IP.
This utility is Linux, Win32 and Mac OS X native, and is being developed with an eye for easy porting to other operating systems.