43 projects for "gnu linux" with 2 filters applied:

  • 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
  • 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

    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
  • 2
    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
  • 3
    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
  • 4
    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
  • 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
  • 5
    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
  • 6
    Code Coverage Tool For Oracle PL/SQL
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8

    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
  • 9
    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
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 10
    PHP MSSQL Server Admin - Query Analyzer

    PHP MSSQL Server Admin - Query Analyzer

    You can admin a SQL Server with php, like PHPMyAdmin for MySQL

    Github repository: https://github.com/miguelaxcar/PHP-MSSQL-Server-Admin Web based tool written in PHP by Luiz Miguel Axcar to build and run queries on a remote or local MSSQL (Microsoft SQL Server). Support for SQL code highlight (!), table browser, field browser, TOP records, most used tables, CSV results export, etc. Most tested in SQL 2000 version. If you find some issue ther let me know and I help you fixing it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A small tool to remove C / C++ style comments from your source code. Including source.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    SSJE
    This is a Super Simple Java Editor written entirely in Java. It allows you to compile and run java programs in an mdi interface with syntax highlighting and easy commenting. Currently in suspended development. Available as a jar and an msi.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    PatternDetect is an Eclipse plugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    JSDE( JavaScript development environment), is a "Make" tools in JavaScript. you cloud use JSDE to check js|css syntax error, obfuscate js code, analyze js project , include file once, extent js syntax, find the dependence map, check file encoding.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Recognizes typical patterns in Java code which could be replaced with functions provided by open source libraries http://www.jnorm.org
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB