Search Results for "syntactic"

...The spirit of the project is that no-one should ever have to develop a SystemVerilog parser for their own application, because developing a standard-compliant parser is an enormous task due to the syntactic complexity of the language. Verible's parser is also regularly tested against an ever-growing suite of (tool-independent) language compliance tests. A lesser (but notable) objective is that the language-agnostic components of Verible be usable for rapidly developing language support tools for other languages.

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. Infer checks for null pointer dereferences, memory leaks, coding conventions...

xCover is a C/C++ library that uses low-impact syntactic signalling to detect code coverage in a code base at runtime

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

Topal: Organic Parsing Language is a functional scripting language with non-strict semantics. It's designed for parsing (as opposed to lexing) with a focus on usability. The language uses procedures rather than functions. Procedures can contain conditional expressions and very basic data storage / bitwise operations. Additionally you can import DLL files and run their functions within the procedures. Procedure names and their argument names are not static; they are defined via a regular...

Syntactic is a simple C++ library for constructing general Neural networks. For now the library supports creation of multi layered networks for the Feedforward Backpropagation algorithm as well as Time Series Networks. More will be implemented soon.

froofyJIT is a C++ 'syntactic sugar' front-end for Paolo Bonzini's GNU lightning library for dynamic native code generation. It allows GNU lightning instructions to be expressed in a more concise way that approximates a 'real' assembly language.

C++/Tk is a complete C++ interface to the popular Tk GUI toolkit, known from many scripting languages. The C++/Tk library uses templates and operator overloading to achieve syntactic similarity to Tcl/Tk code.