313 projects for "sandbox:/mnt/data/project_plan.pod" with 2 filters applied:

  • The most advanced C and C++ source code analyzer Icon
    The most advanced C and C++ source code analyzer

    Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.

    TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
    Learn More
  • Marketing automation for any business | ActiveCampaign Icon
    Marketing automation for any business | ActiveCampaign

    Your team of AI agents handles email, SMS, WhatsApp and more for you

    Active Intelligence revolutionizes how you work. You guide direction while AI handles execution, acts on insights, and shows you the path forward. It's how marketing should be.
    Learn More
  • 1
    Tools for mass spectrometry, especially for protein mass spectrometry and proteomics: Quantification tools, converters for Applied Biosystems (Q Star and Q Trap), calculation of in-silico fragmentation spectra, converter for Mascot result files
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Darwin 2: Java Framework for Evolutionary Computation (genetic algorithm, GA). A true framework with out-of-the-box functionality and extensibility of all classes. Interface-based pattern with dependency-injection to configure components.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    The Self-Organizing Map Maker for Education and Research. Features include 3D-visualization of the training process, various 2D and 3D map topologies, easy extensibility to additional topologies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Screening Assistant 2
    ScreeningAssistant 2 is a modular software dedicated to perform various simple and advanced chemoinformatics analysis around chemical libraries.
    Downloads: 2 This Week
    Last Update:
    See Project
  • CloudZero: The Cloud Cost Optimization Platform Icon
    CloudZero: The Cloud Cost Optimization Platform

    CloudZero automates the collection, allocation, and analysis of your infrastructure and AI spend to uncover waste and improve unit economics.

    CloudZero is the leader in proactive cloud cost efficiency. We enable engineers to build cost-efficient software without slowing down innovation. CloudZero's next-generation cloud cost optimization platform automates the collection, allocation, and analysis of cloud costs to uncover savings opportunities and improve unit economics. We are the only platform that enables companies to understand 100% of their operational cloud spend and take an engineering-led approach to optimizing that spend. CloudZero is used by industry leaders worldwide, such as Coinbase, Klaviyo, Miro, Nubank, and Rapid7.
    Learn More
  • 5
    An integrated bioinformatics toolkit for analysis of ChIPseq data from the Illumina DNA sequencing platform. Includes filtering, quality control, simulation, peakfinding, visualization, and comparison of samples.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    bint

    Converts intensity text files to binary for fast subsetting

    ...In theory bint could be used for any large tables of float data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    FluxY

    FluxY

    FluxY – a processing tool set for stable isotope label MS data

    FluxY is a command line based high-throughput processing tool set for stable isotope labelled mass spectral data used for metabolic flux analysis. To get started simply download and unzip the FluxY.zip file and follow the getting started document in the Instructions folder.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    A R based universal workflow for analysising miRNA sequencing data
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    BioAGENDA
    AGENDA (Application for mining Gene Ontology Data)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Digital business card + lead capture + contact enrichment Icon
    Digital business card + lead capture + contact enrichment

    Your complete in-person marketing platform

    Share digital business cards, capture leads, and enrich validated contact info - at events, in the field, and beyond. Powered by AI and our proprietary data engine, Popl drives growth for companies around the world, turning every handshake into an opportunity.
    Learn More
  • 10
    Index biological data (genbank sheets, Uniprot...) in a Solr indexer, with index shard support and provides a query interface. Project goal is to create a virtual image with indexer and web interface to query and visualize biological data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Lindenmayer ist ein Programm zur Visualisierung von L- bzw Lindenmayer-Systemen mittels hübscher Baumgrafiken. Die ausführbaren Dateien und Hinweise zum Quellcode finden Sie auf unserer Homepage unter http://lindenmayer.berlios.de/.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Python module for manipulation of Crystallographic Information Framework (CIF) files
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    fqpack

    FASTQ compression

    Provides bitwise, context-based 2nd generation data compression for large FASTQ-based files
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Phenex
    Phenex is an application for annotating taxa and phenotypes in character matrix files with ontology terms. Phenex saves ontology annotations alongside traditional character matrix data using the NeXML format standard for evolutionary data. Current Phenex development is taking place at GitHub: https://github.com/phenoscape/Phenex
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    A fast efficient way of dealing with large amounts of Blast or Repeatmasker data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    OrthoInspector is a new software system for orthology/paralogy analysis. Its purpose is to facilitate the installation and the maintenance of a database describing orthology/inparalogy relations and to provide tools to exploit these data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Shrec is a bioinformatics tool for error correction of HTS read data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    RepMiner takes a graph theory approach to the classification and assembly of the repetitive fraction of genomic sequence data. Sequence lengths analyzed by RepMiner can range from full length transposable elements to low coverage sample sequence data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    This is a c-library that provides tools for advanced analysis of electrophysiological data. It features denoising, unsupervised classification, time-frequency analysis, phase-space analysis, neural networks, time-warping and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    GLIEP
    A plugin for the VANTED system, called Glyph-based Link Exploration of Pathways (GLIEP). It helps to guide the navigation and exploration process of interconnected pathway visualization as well as insight into the overall interconnectivity.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    SyMBA is a Data Archive and Integrator that is based on the Functional Genomics Object Model (http://fuge.sf.net) and which archives, stores, and retrieves raw high-throughput data. See http://symba.sf.net and http://www.cisban.ac.uk
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    IMPACT

    IMPACT

    Integrated Multiprogram Platform for Analyses in ConTest

    Graphical User Interface for a software used to assess adaptive evolution in protein-coding genes. Makes use of several known bioinformatics software. IMPACT is free software, targeted to the scientific community. Maldonado E, Dutheil JY, da Fonseca RR, Vasconcelos V, Antunes A (2011) IMPACT: Integrated Multiprogram Platform for Analyses in ConTest. Journal of Heredity, 102 (3): 366-369. doi: https://doi.org/10.1093/jhered/esr003
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    PAICE is a rapid bioinformatics pathway visualization tool for KEGG-compatible accessions derived from Illumina Solexa next-gen and Affymetrix datasets. It colors KEGG pathways while appreciating detection-calls and duplicate gene copies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Flow Investigation using N-Dimensions
    Flow Investigation using N-Dimensions (FIND) is a program designed for analysis and visualization of Flow Cytometry data. FIND focuses specifically on automated population discovery (clustering) methods. The project targets both users and developers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    MSA2SNP is a tool for mining SNP sites in multiple sequence alignment (MSA). This tool inherits the easy-to-use interface from MEGA4 Explorer with advance data presentation. MSA2SNP lets you visualize alignments and import from CLUSTAL program directly.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB