Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Get Started Free
Build Securely on AWS with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
PHP Business Rules is an open source application layer for PHP. The logic is defined in rules and facts. Like most Business Rule Engines (BRE) it uses the Rete algorithm.
Game Toolbox is a C# assembly designed to facilitate the creation of games and game prototypes. It contains no graphics code, does not depend on XNA, and is Mono-compatible. It provides implementations of A*, GOAP, a genetic algorithm, and more.
A simple metalanguage for defining new concepts easily on any level: analysis, requirements, design and implementation (any programming language), and transformations to produce lower level concepts (working software) from higher level concepts.
Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
LSGTL means LLX’s Static Graph Template Library which is a light-weighted header-only template library developed mainly for static graph analysis. LSGTL is expected to be used in laboratories for research purposes mostly.
.Net Checker checks all code dependencies in .Net projects to ensure a stable architecture - up to multi-million LOC source trees. Moreover, it can produce flexible DOT-based dependency graphs.
The PARSEC CEE is the primary achievement of several years of effort at NASA's Marshall Space Flight Center. The CEE was developed to allow engineers in the Advanced Concepts Department to rapidly prototype launch vehicle and spacecraft concepts.
Quality of Web Services (QoWS) workbench is a service design workbench, which supports QoS analysis. It provides functionalities to analyze service compositions and their non-functional requirements in the early stages of development.
This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.
PatternDetect is an Eclipse plugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.
SIM stands for Struts In Mind, the goal is to transform a struts-config.xml file into a Freemind map, thus allowing a better vizualisation of the application mapping. Configuration is analyzed to provide a vision enhanced with colors and icons.
ENIAC: Electrical Network Interactive Analysis Console. Educational software originally made for the study and simulation of electrical LTI circuits, but which supply also a lot of mathematics computations, like complex, polynomial and matrix operations.
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.
Clothes - sewing CAD for creation of models of clothes.
Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
jDSM is a Java library for representing and analyzing Design Structure Matrices (DSM). It can be used to analyze any Java software with regards to modularity.
callgraph is a project that provides an algorithm for an optimal vertex positioning of any connected graph in 3D, as well as the library and sample application for viewing graphs in 3D.
Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.