Showing 45 open source projects for "structural analysis software"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    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 Icon
    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.
    Try Auth0 for Free
  • 1
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    This project contains a set of tools for formal verification and static analysis of VHDL design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 5
    FUtuRes as Indispensable Abstraction - a framework for efficient execution of structural parallelism on multiprocessor/multicore platforms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    The SrcML Framework allows converting Sourcecode to a XML representation on which tools can then be used to deduce statical data for analyzing and visualizing the initial source. It also provides easy ways to write programs which modify other programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    jpaul is a Java implementation of several algorithms widely used in program analysis. It emphasizes flexibility and ease-of-use and is independent of any specific compiler infrastructure project. BSD Licence.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    RuleWorks is a rules-based application development tool providing the convenience of cross-platform development combined with one of the most powerful high level rules-based languages and fastest inference engine.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Add Two Lines of Code. Get Full APM. Icon
    Add Two Lines of Code. Get Full APM.

    AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

    Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
    Start Free
  • 10
    Barat is a front-end for Java. It parses source and byte-code, and performs name and type analysis on demand.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    All APIs that help build prof of concepts of frameworks : bytecode, java, xml models analysis, querying and generation, using high level of abstraction.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Pass2 Compiler (p2parser) is one part of the frontend of a compiler. To use it, you need Pass1 (lexial analysis) and Pass3 (the backend) which this project doesn't cover.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    JASTI

    JASTI

    JASTI (Java AST Inspector)

    JASTI (Java AST Inspector) is an inspector for the OpenJDK compiler AST
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    This is a project to create a compiler that converts grammars written in SRGS standard (http://www.w3.org/TR/speech-grammar/) to a graph understandable by HMM based ASR engines. Check srgs-parser.sf.net
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    libnaru is a library written in C that supports you to define a type system for a programming language. It is thought to be another lego piece beside lexical and syntax analysis in a compiler project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    What is a domain-specific language intended for constructing web services on top of ordinary web pages, or otherwise automate web-related tasks. Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB