Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Stop Storing Third-Party Tokens in Your Database
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
Interactive Environment for Coffee-Script, Jade and Stylus
LiveCoder helps you to play with Coffee-Script ( Language that compiles to JavaScript) , Jade ( Popular Node.js Template Engine), and Stylus CSS pre-processor.
This is not a IDE or any Development Environment, This just helps you to effectively learn these languages.
Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.
Toxic is a general purpose template engine, i.e. it produces text output from different template input formats, e.g. for text-, XML- or SQL-templates. New template formats can easily be integrated an even be mixed.
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.
A Controlled Language Programming (CLP) compiler, runtime engine, and development IDE for writing software in a natural (but somewhat restricted) language that clearly represents the real world concerns and maps to a 3GL (Java/Groovy) for execution.
SEO Tools provides tools for search engine optimization. Spider SEO: generates meta tags for all pages of a website. Web Page Optimizer performs analysis and changes in a web page. A graphical user interface is linked with a scriptol program that gene
The CMS-Bandits is a set of php scripts, with online html editor, calendar, search engine, rss reader, revision log, personal nickpage, comment system, webcrawler and even more.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
pmMDA - poor man MDA - is a pragmatic MDA code generation engine based on Velocity. The implementation is done in Java. The input model is defined using UML tools - e.g. ArgoUML -. Target frameworks are provided to realize complex applications.
Comprehensive & high performance data distribution &transformation system. Features a simple, user-friendly event driven scripting interface transparently generates & execs highly efficient Perl/C code. Uses:ETL,datawarehousing,statistics,data-cleansing.
MiniLang is yet another scripting language written in Java programming language. Main features : Functional language, Strongly interact with Java, XML integration, Statickly typed, Integrated template engine like Velocity or Smarty...
JavaSketch is an Eclipse plugin that is both a programmer's search engine and code generation tool. It can find chains of Java API calls that produce a desired result and insert the appropriate code into the active Java editor.
Open source code generator engine based on imported XMI model. The engine provides developers a way to generate source code or script in any languages with generation files describing the code generation, parsing their models throught the metamodel
An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.
W2g is a framework for building web-based applications such as online databases, intranet portals or CRM systems. It has a object-oriented design and includes a session management, a template engine and a persistency engine based on Apache and MySQL.
XML based template engine for .NET . Most important features are: xml-based templates, multiple programing language support, template sets composed of several templates in one file, code-behind, asp-like syntax, template-includes
ClipsGen is a Lightweight Eclipse plugin for easy code generation.
ClipsGen uses simple XML files as model and the velocity template engine for code generation. The model can be accessed by the dot-notation which is a feature of velocity.
The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).
Pamda is an MDA tool (UML to code generator). It uses UML API to parse XMI and thus, unlike some other MDA tools, is lenient to XMI extensions. Implemented as Ant task and uses Velocity template engine. Tested with XMI produced by Enterprise Architect.
The purpose of the EPAL Scenario Testing System is to provide a Graphical User Interface (GUI) that gives the EPAL user an easy-to-use tool for sending valid or invalid test scenarios to the EPAL Conformance Engine.
JEOPS is a Java based forward chaining RULE ENGINE.
This Rule Engine is used to power up the business process by rules in Java Application Servers, client applications, and Servlets.