Showing 361 open source projects for "gnu/linux"

View related business solutions
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 1

    KDD: Kernel Data Disambiguation Tool

    KDD: Kernel Data Disambiguation Tool

    KDD (Kernel Data Disambiguator) is a new automated software analysis tool that can generate a sound kernel data definition for any C-based OS (e.g. Windows and Linux) without any prior knowledge of the OS. KDD disambiguates the pointer-based relations including generic pointers - to infer their candidate types/values - by performing static points-to analysis on the kernel’s source code. KDD takes the source code of an OS kernel as input and outputs an accurate directed type-graph that represents the kernel data definition. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SourceSquare

    SourceSquare

    The free open source scanning engine

    SourceSquare is a free open source scanning solution, based on Antepedia, the world's largest open source knwoledge base, including more than 1,000,000 open source projects from the main forges. SourceSquare is a free (as in free beer) and free (as in free speech, licensed under GNU Affero Public Licence V3) product, which scans a folder on your hard drive and displays a treemap that shows which part of your source code is open source.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Php-pastebin

    Php-pastebin

    Pastebin is here to help you collaborate on debugging code snippets

    pastebin is here to help you collaborate on debugging code snippets. If you're not familiar with the idea, most people use it like this: submit a code fragment to pastebin, getting a url like hxxp://yoursite.com/1234, paste the url into an IRC or IM conversation, someone responds by reading and perhaps submitting a modification of your code, you then view the modification, maybe using the built in diff tool to help locate the changes
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5
    jSET - Java Software Evolution Tracker is a software visualization tool that allows practitioners to assess the magnitude of changes across the versions of a software system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    KoyamaPbl2011

    HealFu is an iPhone app for manage health developed by Prof.Koyama Lab

    HealFu allows you to easily record health and fitness data and make your life better. -Your ideal body weight will be calculated according to your height and sex(your Body Mass Index). -After recording your body weight, a message will encourage you. -This application will be enhanced to upload images to twitter and facebook. FEATURES Functions: Recorded your health and fitness data are easily checked by the graphs. Easily set your goal weight by increasing or...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    Windows Phone App Analyser

    An application to decompile and analyse Windows Phone apps

    An application to decompile and analyse Windows Phone apps specifically focusing on finding security issues.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    CAP4EI

    Code Analysis Plugin for Eclipse Indigo

    Be accommodated in this project a version of CAP (Code Analysis Plugin for Eclipse) valid for Eclipse Indigo. The version of CAP in sourceforge.net/projects/cap4e/ not work correctly in Eclipse Indigo so I made ​​the appropriate adjustments. I tried to connect to the original author of CAP4E but without results. Please, if anyone could do it for me I am willing to give the original author of the updated package for me to post it on the original site. I then eliminate this...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 10
    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
  • 11
    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: 0 This Week
    Last Update:
    See Project
  • 12
    Agnitio
    A tool to help developers and security professionals conduct manual security code reviews in a consistent and repeatable way. Agnitio aims to replace the adhoc nature of manual security code review documentation, create an audit trail and reporting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Code Search and Replace
    Code Search and Replace is a tool for finding and replacing code blocks within a group of files. Avoid tediously changing each page and modify all pages in a selected folder at a time. Quickly and efficiently modify your files and get back to work.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    antillesXML is an extensive and in its form unique compilation of XML tools. Now the new version 2.0 is available as a free download. Various functions on all aspects of XML documents are available.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Declude helps to decrease the number of includes in your C or C++ source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    RegexLord is the IDE for developing regular expression assemblies for .NET. Full stop. It provides syntax highlighting (via the sharpdevelop text editor, http://sharpdevelop.net/), bracket matching, namespace management, code folding, and an easy to
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    This plugin analyses the java source code and displays all identifiers with their types
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Sistema Automatizado de Métodos de Casos de Pruebas
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    AOSCAT
    Another Open Source Code Analysis Tool
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    PegTest is an interactive application for developing parsing expression grammars (PEGs). First, write your grammar. Then, write a test input. Finally, browse how the PEG has parsed your input.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB