Search Results for "source code static anala"

MoonLang is a lightweight static programming language built with C++ and LLVM, featuring dual syntax styles (`: end` and `{ }`). Supports Windows, Linux, macOS and embedded platforms (ARM/RISC-V/ESP32), compiles to only 15KB-300KB, build full-stack applications from MCU to desktop.

Simplicity First. Minimal setup with markdown-centered project structure helps you focus on writing. Vue-Powered. Enjoy the dev experience of Vue + webpack, use Vue components in markdown, and develop custom themes with Vue. Performant. VuePress generates pre-rendered static HTML for each page, and runs as an SPA once a page is loaded. The fastest way to get your VuePress project setup is to use our create-vuepress-site generator which will help scaffold the basic VuePress site structure for...

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ...

Moved to http://github.com/ftrias/pyembedc Python module to embed C/C++ code within Python source code and scripts. Automatically compile and dynamically link the code. Transparently allow native access to python data from C code and vice versa. Module provides all the "glue" to dynamically convert data types, arrays and structures.

[Z-Pharo CMS] is a full customized php content management system .. it's very light,small package,pluggable every thing in it is just plugins so you can create any web application you want

AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.

A static checker that model checks the implementation of equality for an Eclipse Java Project.

HTML Generator is a simple code generator that generates simple static html web sites with different views. It was developed using Hakaya Studio 3.5

Sugar4j generates code without the use of external text files, templates, JSP and the like. The static and the dynamic parts are both contained in the same Sugar4j java file. Everything is java. publicc().classs("Sugar4j").empty();

Abstracts developers from SQL syntax, with methods that return Strings to pass on to JDBC, thus allowing compile-time checking for, many, otherwise run-time bugs. e.g. stmt.executeQuery(SqlWrapper.selectId(ordersTable, customerColumn, "John Smith")

A platform for developing mathematical models of static/dynamic physical systems, a simulation evironment for such models and a set of component libraries. It combines features from Simulink, Modelica or AMESim with unique features on its onw.

YIIHAW is a static cross-language aspect weaver for .NET. It was designed with one clear objective in mind: To make an efficent aspect weaver that does not introduce any runtime overhead when applying aspects to an assembly.

METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.

A static HTML preprocessor.

The aim is to develop a framework to translate UIML (User Interface Markup Language) description of UI into a number of plaforms (wxPython, HTML, etc.). Dynamic and "static" (into a program) rendering implied.

Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.