Search Results for "structural analysis software"
Sort By:
40 projects for "structural analysis software" with 2 filters applied:
-
MyQ Print Management SoftwareBoost your digital or traditional workplace with MyQ’s secure print and scan solutions that respect your time and help you focus on what you do best.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is... -
2
QtContribs - Harbour Qt Projects
New home to HbQt, HbIDE & HbDBU once Harbour SVN hosted contribs.
...As I am totally ignorant of Harbour's build system, it will be appreciated if someone knowledgeable take over this responsibility, which might be one-time task. Welcome to new chapter in Harbour history! Pritpal Bedi a student of software analysis & concepts -
3
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
The decompiler is not limited to any particular target architecture, operating system, or executable file format. ELF, PE, Mach-O, COFF, AR (archive), Intel HEX, and raw machine code supported. 32-bit: Intel x86, ARM, MIPS, PIC32, and PowerPC 64-bit: x86-64 supported. Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs,... -
4
Ofront+
Oberon family of languages to C translator for ARM, x64 and x86 archit
...In fact, an Oberon program translated by Ofront+ can be expected to execute as fast and read as well as an equivalent hand-coded C program. Ofront+ is based on Ofront by Software Templ OEG. Here are two versions: 1. Ofront+ for Windows & Linux command line 2. Ofront+ for BlackBox Component Builder (runs as a subsystem) -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
5
FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...
-
6
GDL - GNU Data Language, a free IDL (Interactive Data Language, see http://ittvis.com/idl/) compatible incremental compiler.
-
7
JBVD
Java Bytecode Viewer & Decompiler
A very powerful java bytecode viewer and decompiler which makes use of the javassist open source library. -
8
**NOTE**: The WALA project is now hosted at https://github.com/wala/WALA; the latest source code and updates are available there. The code here on Sourceforge is highly out of date and unsupported. The T. J. Watson Libraries for Analysis (WALA) provide program analysis capabilities for Java bytecode and related languages. The WALA libraries constitute an open-source release of parts of IBM Research's DOMO analysis infrastructure.
-
9
The Panini Language
Better Modularity, Better Concurrency
This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of... -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
JS/CC LALR(1) Parser Generator
A LALR(1) Parser Generator for JavaScript written in JavaScript
JS/CC is a parser generator for JavaScript/ECMAScript, which is entirely written in ECMAScript itself. It produces LALR(1) parsers with integrated lexical analyzers. JS/CC can run as a website or be invoked from a console, and runs on several platforms. -
11
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
-
12
Iterative Flow Analysis
Iterative Data and Control Flow Analysis
https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs. -
13
mojo
mojo provides fast analyzes for your business processes
mojo is a standalone software and library for the fast analysis of business processes. Because of its lightweight architecture and its implementation in Java, it can be used as extension in your program, e.g., business process designer. It provides new researched compiler-based analysis techniques which supports very good failure location. The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt -
14
RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.
-
15
cparser is a library containing a parser, lexer and semantic analysis for the ISO C99 language. It should be used as a compiler frontend, a base for source-source transformation, or source-checker tools.
-
16
Based on boost. Thread:mutex-condition queue and map,ACE style thread and Glib style thread pool, loop task. Memory:memory pool. COM:COM object invocation. Language:compiler lexical and grammar analysis. Network:epoll reactor.
-
17
The Whiteoak programming language, http://whiteoak.sourceforge.net, is a Java 6 extension that supports: structural subtyping (structural conformance), virtual fields and constructors, mixin-like/trait-like composition of objects and more.
-
18
Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.
-
19
Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.
-
20
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
-
21
The scala-fast-dynamic is a compiler plugin + a small runtime library for the Scala programming language (http://www.scala-lang.org) that re-implement the way structural types are translated into JVM bytecode, achieving higher performance.
-
22
An optimising compiler for the R5RS Scheme language, written in R5RS Scheme, compiling to ANSI C, supporting Unix-like platforms, performing whole-program analysis and online partial evaluation.
-
23
HiLexed 2 is a dynamic hierarchical LL-parser system with integrated lexing. It features a powerful unlimited look-ahead, look-ahead compression*, dynamic rules and left-recursion*. * = Under development
-
24
FUtuRes as Indispensable Abstraction - a framework for efficient execution of structural parallelism on multiprocessor/multicore platforms.
-
25
RunCC is a new kind of parsergenerator that generates parsers and lexers at runtime. Source generation is only optional. It features the absence of any cryptography. Although intended for small languages, it comes with Java and XML example parsers.
