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
Self-hosted n8n: No-code AI workflows
Connect workflows. Integrate data
A free-to-use workflow automation tool, n8n lets you connect all your apps and data in one customizable, no-code platform. Design workflows and process data from a simple, unified dashboard.
http://www.filehelpers.net
The FileHelpers are an easy to use .NET library written in C#. Is designed to read/write data from flat files with fixed length or delimited records (CSV). Also has support to import/export data from different data storages (Excel, Access, SqlServer)
Code on GitHub: https://github.com/MarcosMeli/FileHelpers
Cross-platform C++ libraries with a network/internet focus.
NOTE: Current source code as well as bugs/patches are on GitHub:
https://github.com/pocoproject/poco/
C++ class libraries for network-centric, portable applications, integrated perfectly with the C++ Standard Library. Includes network protocols (Sockets, HTTP, FTP, SMTP, POP3, etc.), SQL database access and XML parsing. Licensed under Boost license.
...It also contains non-portable libraries that provide additional platform-specific support.
ID3.NET also provides an extensible metadata discovery framework that can discover specific ID3 frame data (like album art, lyrics, etc.) from various online services such as Amazon, ChartLyrics.com, Discogs and more.
ID3.NET has been moved to GitHub. The code in the SourceForge SVN repository has been frozen and all further commits will happen on the GitHub repository.
J2ME MVC framework based on model-view-controller pattern supported ME configurations CLDC and up. - conversation like data transfer between controllers - low memory usage - PL services support TODO: - support of other UI frameworks
JSCAPE is a Flexible, Scalable MFT Solution That Supports Any Protocol, Any Platform, Any Deployment
Platform Independent Managed File Transfer Server. JSCAPE is the perfect solution for businesses and government agencies looking to centralize your processes and provide secure, seamless and reliable file transfers. Meet all compliance regulations including PCI DSS, SOX, HIPAA and GLBA.
XUI is a Java and XML RIA platform for building smart app's. Swing, AWT and other widget sets can be used on a range of hardware. XUI's modular framework can help many aspects of application development. NetBeans and Eclipse are available.
Set of .NET libraries, UI controls & applications for managing & synchronizing contact information. It includes managed wrappers for file formats like vCard, and classes to manage/sync contact information with popular applications & online services.
This project targets the SPU of the Cell/BE Processor. This library is intended to help the person programming the SPUs on the Cell processor move data into and out of the local store of an SPU without having to directly program the DMA hardware.