Showing 11 open source projects for "static code analysis"

View related business solutions
  • $300 in Free Credit for Your Google Cloud Projects Icon
    $300 in Free Credit for Your Google Cloud Projects

    Build, test, and explore on Google Cloud with $300 in free credit. No hidden charges. No surprise bills.

    Launch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • Build AI Apps with Gemini 3 on Vertex AI Icon
    Build AI Apps with Gemini 3 on Vertex AI

    Access Google’s most capable multimodal models. Train, test, and deploy AI with 200+ foundation models on one platform.

    Vertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
    Try Vertex AI Free
  • 1
    Uranie

    Uranie

    Uranie is CEA's uncertainty analysis platform, based on ROOT

    Uranie is a sensitivity and uncertainty analysis plateform based on the ROOT framework (http://root.cern.ch) . It is developed at CEA, the French Atomic Energy Commission (http://www.cea.fr). It provides various tools for: - data analysis - sampling - statistical modeling - optimisation - sensitivity analysis - uncertainty analysis - running code on high performance computers - etc.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2

    MAGeCK

    Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout

    Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center. We thank the support...
    Leader badge
    Downloads: 66 This Week
    Last Update:
    See Project
  • 3

    lpsolve

    Mixed Integer Linear Programming (MILP) solver.

    Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/
    Leader badge
    Downloads: 2,309 This Week
    Last Update:
    See Project
  • 4
    smib is one of the smallest and simplest computer algebra system in the world, but simple does not mean simplistic. Using smib you can explore many branches of mathematics (e.g. number theory, algebra, calculus, numerical analysis, differential geometry, probability and stochastic calculus) and also some physics (e.g. electromagnetism and quantum mechanics).. By simple you can understand easy to program (smib is a dynamically typed language, with strong affinity to recursivity, programs are often short and powerful and maybe useful for teaching), and also easy to modify (source code is free, written in C language, and based on notions of stacks and lists). ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs up to 54% with BigQuery Icon
    Cut Data Warehouse Costs up to 54% with BigQuery

    Migrate from Snowflake, Databricks, or Redshift with free migration tools. Exabyte scale without the Exabyte price.

    BigQuery delivers up to 54% lower TCO than cloud alternatives. Migrate from legacy or competing warehouses using free BigQuery Migration Service with automated SQL translation. Get serverless scale with no infrastructure to manage, compressed storage, and flexible pricing—pay per query or commit for deeper discounts. New customers get $300 in free credit.
    Try BigQuery Free
  • 5
    quickplot

    quickplot

    interactive 2D plotter

    Quickplot is a fast interactive 2D plotter with infinite zooming, value picking, pipe input, and unlimited plots displayed. Quickplot is meant for looking at your data quickly and of secondary importance is making static pictures of your data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Mumps Solver for Visual Studio

    Visual studio C and C++ projects to build and use mumps sparse solver

    Project consist of a WinForm to modify Mumps source files in order to compile and use them under the 64-bit or 32-bit windows environment and to create necessary VS 2010 projects/solution to compile the source code. On the code tab you can find the sample Mumps solver solution with 6 projects. Two projects are a mumps wrapper library - dynamic and static. And other four projects are testing projects - two are C++ (linking static or dynamic wrapper library) and two are C (again linking static or dynamic library). Please check the blog posts about the use and the additional explanation of the projects or send me a mail if any difficulties arise. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A More Accurate Fourier Transform

    A More Accurate Fourier Transform

    Computes Accurate Fourier Transform via Explicit Integration not FFT

    ...Fast Fourier transform (FFT) methods offer speed advantages over evaluation of explicit integrals (EI) that define Fourier transforms. It has been shown recently that EI methods can be more accurate than FFT methods (Courtney and Courtney, A More Accurate Fourier Transform) for scientific data analysis and that EI methods can be implemented in reasonable times with modern computing power. This project makes the source code (and command line Windows executable) developed in that study openly available for scientific and engineering uses.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8

    TIDES

    Taylor series Integrator for Differential Equations

    Taylor series Integrator for Differential EquationS. This software is developed by Profs. A. Abad, R. Barrio, F. Blesa and M. Rodriguez, (GME, University of Zaragoza, Spain). It consists on a C (Fortran) library, libTIDES, and a Mathematica package, MathTIDES. (MathTIDES requires Mathematica version >= 7.0) . Basic references: * A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2012. Algorithm 924: TIDES, a Taylor series Integrator for Differential EquationS, ACM TOMS. 39, no. 1, art. 5....
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    GridPACK is a community-developed open-source collection of code for use in power systems research, analysis, and operation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Easily Host LLMs and Web Apps on Cloud Run Icon
    Easily Host LLMs and Web Apps on Cloud Run

    Run everything from popular models with on-demand NVIDIA L4 GPUs to web apps without infrastructure management.

    Run frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.
    Try Cloud Run Free
  • 10
    This utility, lingen, implements evolution of native machine code via linear genetic programming. The assembly level code uses a subset of assembly language which manipulates and performs calculations using the floating point unit (FPU) of the CPU.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    kombinatoriC delta library

    kombinatoriC delta library

    CAS Algorithms embeded as libraries.

    Personal research achievements from the authors presented here in the form of symbolic Algebra and non-numerical analysis algorithms implemented in C/C++, Java, and/or Pascal. As part of a more wide, simple, powerful and robust CAS enviroment under development, new code will be continuously added up to this repository. The authors give their welcome and encouragement to everyone interested in bring some kind of collaboration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB