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
Eurekos LMS - Build a Smarter Customer
The Eurekos customer training LMS makes it easy to deliver product training that retains more customers and transforms partners into advocates.
Eurekos is a purpose-built LMS that engages customers throughout the entire learning journey from pre-sales, to onboarding, and everything after.
TIAPS ( This Is A Python Server ) is a hosting program for dynamic websites, such as forums. The server and the data-access module are intended to be multifonctional and able to process various protocols on the same port. The access uses a login system.
Read a good book lately? Then you can use this program to make a record for posterity for yourself, and allow others to see your rating. This program runs as a CGI program under your web server -- your book reviews are presented to the world as a web log
A plugin for gaim that interfaces with the popular program festival. It allows for instant messages to be spoken by festival so you can hear it thru your speakers.
Optimize every aspect of hiring with Greenhouse Recruiting
Hire for what's next.
What’s next for many of us is changing. Your company’s ability to hire great talent is as important as ever – so you’ll be ready for whatever’s ahead. Whether you need to scale your team quickly or improve your hiring process, Greenhouse gives you the right technology, know-how and support to take on what’s next.
StatViz is a web log analysis / statistics program in PHP for visualizing web traffic. StatViz produces two types of graphical reports: 1) aggregate clickstream analysis and 2) individual session tracks. The DOT output is visualized using GraphViz.
[DISCONTINUED]
Cross-Platform BitTorrent GUI and core capable of handling multiple downloads in one program instance. Excessive configuration possibilities. Scriptable Telnet-Server. Can be run without GUI. Includes database.
A program that relays a stream of JPGs (simulating video) from a client to a server, and then replicates bandwidth on the server end, making the JPGs available via HTTP. Used when incoming connections aren't possible, ie. wifi hotspots w/ webcam.
tcpick is a textmode sniffer; it tracks tcp streams, shows the status, reassembles and saves the data captured in files or displays them in the terminal in different modes (ascii, hex..). There is a color-mode. Useful to get files passively.
A simple port-relaying program written in Java; sits on specified ports for either TCP or UDP, re-sends packets to the given IP. Doesn't forward packets, actually receives and re-sends them. Could be handy to learn Java Sockets/networking. Public Domain.
Supercharge Your Manufacturing with Easy MRP and MES Software
Designed for SME manufacturers who want to reduce wasteful manual processing, save time and increase profits.
Flowlens eliminates stock-outs, shortage and overstocks, avoiding costly production delays.
Stay in control of inventory levels and keep production running smoothly with real-time visibility and easy-to-use stock management. Import bulk data with ease.
Loganalyzer for Windows XP Firewall and Linux Iptables firewall. Generates a nice html document with statistics from all the pakets captured by the firewall. The program is written in Python and has an (optional) graphical interface.
The AnimsRenaming is an application written in C++ allowing renaming quickly lots of animation files (americanims, japanims, frenchanims ) in simple mouse clicks.
The application is totally configurable and should allow you to gain lots of time
WeatherMatrix project that weather remind service suit,is consist of wxWeather that client side,weather reminder program wxWidget-based and Weather Community that wxWeather auxiliary part,server side,provide opening weather service.
GTK-based lightweight CHM-viewer for Linux. Uses libchm and GTK-XmHTML to work with CHM-files and HTML parsing accordingly.
=> chmutils: mc plugins for viewing chm.
=> chmunpack: a chm unpack utility.
=> chmview: a chm viewer (alpha but useable).
pvs checks for updates to programs via ftp or http and downloads them. pvs is smart enough to only download the patches to the programs if they are availible.
ASPseek is a full-featured medium-to-large scale SQL-based Internet search engine. It consists of an indexing robot, search daemon and search frontend (CGI program). These programs are written in C++ using the STL library.
qixite [quick site] - a program that helps to create web sites using predefined templates. Web site is represented by a tree structure. A user just has to type plain text. All the relationships and navigation between pages are generated by qixite.
The program dynDNS-Updater is a universal program to update DNS information. It is written in Java 5.0 and runs as a daemon. Additional information can be accessed through the projects home page.
opengallery takes a dirtree of image files and creates a web site with frames, thumbnails, subdirectory navigation and optional javascript highlighting.
pt_BR: Um programa que le o conteúdo do log do sistema e gera um arquivo "RSS".
us: A program that reads the content of the system log and will generate a "RSS".
ShamStats is a program which parses server logs from Counter-Strike:Source servers and then outputs all player statistics in HTML. Written in JAVA, this program runs on all platforms with JRE.
The Monster Journal - An electronic journalling program to replace the paper notebook.
The Monster Journal provides the user a centralized, easily accessible electronic notebook for storing thoughts, ideas, and answers to questions.
RadioPilote is PHP - SQL - Perl streaming solution using Icecast.
It includes live and playback streaming, based on rules such as part of title, author, album (tags), songtitle, as well as playing the last recorded program.
see it at www.radiopi.org
Allow browsing of project Gutenberg.de CD-ROM with zipped html files also on Linux. Ermöglicht die Projekt Gutenberg.de CD auch unter Linux durchzusehen.