Showing 54 open source projects for "static code analysis"

View related business solutions
  • Build on Google Cloud with $300 in Free Credit Icon
    Build on Google Cloud with $300 in Free Credit

    New to Google Cloud? Get $300 in free credit to explore Compute Engine, BigQuery, Cloud Run, Vertex AI, and 150+ other products.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query exabytes in BigQuery, or build AI apps with Vertex AI and Gemini. Once your credits are used, keep building with 20+ products with free monthly usage, including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. Sign up to start building right away.
    Start Free Trial
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1
    QR Code generator library

    QR Code generator library

    High-quality QR Code generator library in Java, TypeScript/JavaScript

    This project aims to be the best, clearest library for generating QR Codes. My primary goals are flexible options and absolute correctness. The secondary goals are compact implementation size and good documentation comments. This work is an independent implementation based on reading the official ISO specification documents. I believe that my library has a more intuitive API and shorter code length than competing libraries out there. The library is designed first in Java and then ported to...
    Downloads: 17 This Week
    Last Update:
    See Project
  • 2
    Iosevka

    Iosevka

    Versatile typeface for code, from code

    Iosevka is an open-source, sans-serif + slab-serif, monospace + quasi‑proportional typeface family, designed for writing code, using in terminals, and preparing technical documents. The Iosevka’s monospace family is provided in a slender outfit by default: glyphs are exactly 1/2em wide. Compared to the competitors, you could fit more columns within the same screen width. Iosevka provides two widths, Normal and Extended. If you prefer more breeze between the character, choose Extended and...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 3
    PromiseKit

    PromiseKit

    Promises for Swift & ObjC

    Promises simplify asynchronous programming, freeing you up to focus on the more important things. They are easy to learn, easy to master and result in clearer, more readable code. Your co-workers will thank you. PromiseKit is a thoughtful and complete implementation of promises for any platform that has a swiftc. It has excellent Objective-C bridging and delightful specializations for iOS, macOS, tvOS and watchOS. It is a top-100 pod used in many of the most popular apps in the world. We are...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    CodiumAI PR-Agent

    CodiumAI PR-Agent

    AI-Powered tool for automated pull request analysis

    CodiumAI PR-Agent is an open-source tool aiming to help developers review pull requests faster and more efficiently. It automatically analyzes the pull request and can provide several types of commands. See the Usage Guide for instructions how to run the different tools from CLI, online usage, Or by automatically triggering them when a new PR is opened. You can try GPT-4 powered PR-Agent, on your public GitHub repository, instantly. Just mention @CodiumAI-Agent and add the desired command in...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Deploy Apps in Seconds with Cloud Run Icon
    Deploy Apps in Seconds with Cloud Run

    Host and run your applications without the need to manage infrastructure. Scales up from and down to zero automatically.

    Cloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
    Try Cloud Run Free
  • 5
    odaba

    odaba

    ODABA is an terminology-oriented database management system and develo

    ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    VuePress

    VuePress

    Minimalistic Vue-powered static site generator

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Unified Code Generation

    Unified Code Generation

    Open-source code generator for Simulink/Stateflow

    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.) ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    This is an application generator for conflation algorithms in perl language. This system supports generation perl source code for a stemmer from a rule file, running a stemmer which is supported by the system, parsing a corpus file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Lexical Analyzer Generator Quex

    Lexical Analyzer Generator Quex

    Generator of lexical analyzers in C and C++. Unicode Supported.

    The goal of this project is to provide a generator for lexical analyzers of maximum computational efficiency and maximum range of applications. This includes the support for Unicode (UTF8, UTF16, ...) and a large variety of other encodings directly and via nested converters such as ICU(tm) and IConv. Sophisticated buffer handling allows to operate on plain file streams, on sockets, or manually fed buffer content. 'Ready-to-build' examples explain related concepts and facilitate practical...
    Leader badge
    Downloads: 37 This Week
    Last Update:
    See Project
  • Cut Cloud Costs with Google Compute Engine Icon
    Cut Cloud Costs with Google Compute Engine

    Save up to 91% with Spot VMs and get automatic sustained-use discounts. One free VM per month, plus $300 in credits.

    Save on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.
    Try Compute Engine
  • 10
    Koopa (COBOL) Parser Generator
    This project has moved to GitHub ! The version here at SourceForge will remain for historic purpose. Koopa is a parser generator, made for COBOL. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    SINVAS UML

    SINVAS UML

    UML Modeling Tool for MDD-based Analysis/Design

    SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    SINVAS

    SINVAS

    Software Engineering Full Life Cycle Support Tool

    SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Java to C++ porting framework
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Cress Tool Suite

    Cress Tool Suite

    Cress is a comprehensive toolset for graphical service/workflow design

    Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    JComp

    Program to translate source codes

    Program is aimed to be able to translate source codes from one language to other. Currently it only works (somewhat) for the following translations: - pascal to java - pascal to php - c to php Any constructive suggestions or feature requests are welcome
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    Python Embed C++

    Embed C++ in Python source code, dynamically compile and access data

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    JS/CC LALR(1) Parser Generator

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 21

    Z-Pharo CMS

    Full Powerful & Customized PHP CMS Its Just Plugins to start !

    [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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    G.R.E.A.T. - Google Earth Reporting Engine and Analysis Tool The Goal of this project is to create a basic IDS interface with Google Earth. Currently generates a KML file of traceroute/whois information suitable for use in Google Earth
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Equals Checker
    A static checker that model checks the implementation of equality for an Eclipse Java Project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    cpp2xml

    cpp2xml

    A tool to convert C++ definitions into XML

    cpp2xml is a tool to convert C/C++ definitions into XML. The main goal is to use the XML as input to code generation tools, but any other usage may be imagined.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB