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
Digital business card + lead capture + contact enrichment
Your complete in-person marketing platform
Share digital business cards, capture leads, and enrich validated contact info - at events, in the field, and beyond. Powered by AI and our proprietary data engine, Popl drives growth for companies around the world, turning every handshake into an opportunity.
OsnofianLinux is a set of small distributions intended to fit on 1.44Mb floppy disk, in the boot sector of a CDROM, hard drive or even on a USB stick. Check the project homepage for more details and projects info.
Tiny C compiler, programmed in C with compiler/linker/assembler included. VERY fast and mainly usable as a library. WIN32 port of the http://tinycc.org version. Compiles code to memory currently, perhaps disk soon. Go to the homepage for more info.
Open Get Info will be a Mac OS X utility to supplement or replace the Finder's built-in "Show Info" command, for viewing and changing file/folder/disk attributes (Mac OS HFS+ type, creator, label, comments, visibility, icon, bundle, sharing and posix).
Bring compliance and operations under one roof with an AI agent that automates workflows, policies that enforce rules, and a platform that delivers results.
(See the homepage for more info). Long term goal - A simple reusable set of VB objects for use with Great Plains and Crystal Reports apps. Current development: a crystal reports ActiveX control to simplify printing reports (for the benefit of the end user
An example Atari ST C program to demonstrate simple GEM/AES /w RCS
AtariST-HD-Info
An example Atari ST C program to demonstrate simple GEM/AES programming using a resource file.
Display disk information on Atari 16-bit ST
* support and other inquiries can be made on our BBS at:
$ telnet 13leader.net 8023
Fork our Git @ https://github.com/pjones1063
Movielog Ultra intends to be a personal online movie catalog programed in PHP/Mysql. You can have your personal movie collection organized and accesible from anywhere. You can have info like movie description, actors, plot, trailers, disk id\'s etc.