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
The fastest way to host, scale and get paid on WordPress
For developers searching for a web hosting solution
Lightning-fast hosting, AI-assisted site management, and enterprise payments all in one platform designed for agencies and growth-focused businesses.
reveal.js is a framework for creating beautiful interactive presentations using HTML. It comes with a wide range of features, including nested slides, auto-sliding, touch navigation, Markdown support, PDF export, speaker notes, theming and more. It also comes with a JavaScript API that allows you to control various other options, and a list of plugins that can be used to extend reveal.js further.
Simple Infopanel is a free digital signage software in PHP and React
Simple Infopanel is a free digital signage software that works like a slider and shows title, image or video, description and QR-Code for URL on every slide. It provides its own GUI for the editing based on PHP-Framework Symfony. The GUI has an integrated simple role concept. This tool can be used for digital signage, Information panels (infopanels), News aggregators, events or similar. You only need to have docker installed to start this application. The source code is available on GitHub:...
A digital songbook for guitarists and other musicians
OpenChords is an alternative to traditionally printed chord songbooks.
If you hate filing music away after a practice or gig... this is for you.
If you struggle to find your songs because you cannot remember the name of the song... this is also for you.
If you wished you could just change the key of the song in the middle of a live performance... you have come to the right place.
If you find any bugs or have some suggestions, feel free to email me at open.chords.app@gmail.com....
Presentation framework based on CSS3 transforms & transitions
impress.js is an impressive presentation tool inspired by the idea behind prezi.com and based on the power of CSS3 transforms and transitions in modern browsers. It showcases some awesome CSS3 features to create amazing and engaging presentations from your browser. Visualize your ideas in a totally unique way-- with impress.jsâ infinite canvas, the only limit is your imagination.
impress.js offers many great features, presenting your ideas in visually engaging 3D, dynamic movements and...
Scriptio is a framework for presenting animations and educational content in a rich online experience. Featuring an easy-to-learn scripting language for fast prototyping and production-quality development, Scriptio is designed for Web 2.0 application
deegree is a Java framework for geospatial software based on the specifications of the OpenGIS Consortium and the ISO. The focus is based on the realisation of OGC specified web services. It is developed in cooperation between lat/lon and the University of Bonn.
Salto framework is an AJAX based framework which makes possible to build a Web application very quickly.
Thanks to AJAX mechanism, datas exchanges between client side an server side are reduced. You are able to refresh only a part of the screen.
Emma (Extensible Multi Media Architecture) is an open-source, modular, extensible, dynamic framework for declarative authoring and display of 2D and 3D interactive multimedia. It uses Lua for scripting and Ogre3D for rendering. http://www.emma3d.org
The Presentation framework for Web applications. On the basis of: HTML, JavaScript, DHTML. Configure your user interface with Tag libraries (for J2EE systems) or XSL templates (for any other WEB systems using XML/XSL).
J2EE Polls component using the Struts framework and the Spring Framework. It is easy to install and easy to integrate with existing applications. The goal is to illustrates some of Struts\' and Spring's potential with a simple real-life example.