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
Network Performance Monitoring | Statseeker
Statseeker is a powerful network performance monitoring solution for businesses
Using just a single server or virtual machine, Statseeker can be up and running within minutes, and discovering your entire network in less than an hour, without any significant effect on your bandwidth availability.
A lexical analyzer generator that makes the class source code.
ULS is a class library for creating lexical analyzer from language specification file. It's provided as C/C++/C# and Java (class) libraries with a few of tools on Linux/Windows platform.
A programming language AL-IV (ALFOUR) is a
high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code,
full independence from a target platform, minimal enter level.
The Roslyn folder contains (modified) source from Roslyn The XSharp folder contains our own source for the compiler, documentation and other components. For the build process of the compiler we create our own "specialized" version of the CSharp Compiler. The source for this compiler and codeanalysis.dll is in the Tools folder. This compiler will translate some of the Roslyn Namespaces from CSharp into XSharp to prevent name conflicts when assemblies of both origins are in memory at the same...
Translates state machine into a target programming language.
SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.
Compose* is a project that aims at enhancing the modularization capabilities of component- and object-based programming. In particular, Compose* offers aspect-oriented programming through the composition filters model.
STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing
TreeDL (Tree Description Language) is a notation for tree structures used by programs (like syntax trees) and tool for translation of tree descriptions to target programming language, docs generation, etc. Tool's functionality can be extended by plugins.
A Windows native distribution of Bigloo, a Scheme system that includes an optimizing compiler generating C code, Java classes and .NET CIL files as well as an interpreter.
Streamline your business with an all-in-one platform for HR, IT, payroll, and spend management.
Effortlessly manage the entire employee lifecycle, from hiring to benefits administration. Automate HR tasks, ensure compliance, and streamline approvals. Simplify IT with device management, software access, and compliance monitoring, all from one dashboard. Enjoy timely payroll, real-time financial visibility, and dynamic spend policies. Rippling empowers your business to save time, reduce costs, and enhance efficiency, allowing you to focus on growth. Experience the power of unified management with Rippling today.
Software Studio is an Integrated Development Environment (IDE) for C#, Java, VB.Net, Aspx, C++, Html, Xml, Php, JavaScript, Tex with multi-language support,syntax higlighting,code folding,code completetion,refactoring support
The goal of VMKit is to create a body of code useful for creating and experimenting with virtual machines. The code will emphasize modularity, clarity, correctness, and portability in no particular order but all taking precedence over execution speed.
Code translation utility to convert Php website code into a Java/J2EE JSP equivalent code. Conversion application is written in Java. Utilizes Antlr to translate between the languages.
JB2CSharp is a port of the Java-Bison/Flex software developed by the Serl project at the University of Colorado, Boulder. Parsers and lexers will be able to use C# actions. The open source .NET project Mono has requested the port, and here it is.