Showing 129 open source projects for "gnu linux"

View related business solutions
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    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
  • 2

    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
  • 3
    Equals Checker
    A static checker that model checks the implementation of equality for an Eclipse Java Project.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 4
    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
  • 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
  • 5
    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
  • 6
    Declude helps to decrease the number of includes in your C or C++ source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Sistema Automatizado de Métodos de Casos de Pruebas
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The "gc" language is a script language with c++ grammer and c++ class library . The gaiasle is a set of script language framework . It has some new ideas about soft development ,specially about web server programs .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Code Coverage Tool For Oracle PL/SQL
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This is a windows version of my Linux disassembler. It is an old version, no where as good as the Linux version.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Performs basic checks on shell scripts for the presence of non portable syntax.
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Reviewing memory allocation and data structures of an extant Sourceforge project unix-named "simupop". A new development version of the extant project is established and the ultimate goal is to "rev up" the old, hence the project name.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17

    Program Statistics

    View current download statistics for software on various sites

    progstat: Used to view current download statistics for posted programs on various sites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    "No comment!" is a command-line tool that generates various comment-related metrics for source code files (e. g. comment density, blank lines per file)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Note: this tool has moved to github, this repository is not maintained any more. See https://github.com/turdusmerula/ftrace GScopeLog is a tool for instrumenting c++ code through gcc. The main purpose is to trace entry/exit point of functions. A status file may be generated to give overview of functions calls and timing informations with minimal impact on performances.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    An interactive binary search tree. The user may interact with the tree by performing rotations, balancing, insertions, and deletions. For educational purposes
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    LDIFF is an enhanced language-independent line differencing tool built upon the Unix diff and overcomes its limitations in determining whether an artifact line has been changed or is the result of additions and removals
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Patch file shows difference in files in whole lines. Sometimes those lines are very similar, only one or two words changed. This script compares changed lines by characters and highlights actual differences in them - very helpful with long lines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Unique finds patterns in source code. It helps you build better software by finding pieces of code that could benefit from a refactoring.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    This is a python program which generates python file for a given .glade file (LibGlade fmt)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB