Showing 9758 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
  • 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
  • 1
    RODIN
    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
    Leader badge
    Downloads: 1,038 This Week
    Last Update:
    See Project
  • 2
    OSGeoLive

    OSGeoLive

    Bootable linux distro for Geospatial Applications

    OSGeoLive is a self-contained bootable DVD, USB thumb drive or Virtual Machine based on Lubuntu that allows you to try a wide variety of open source geospatial software without installing anything. It is composed entirely of free software, allowing it to be freely distributed, duplicated and passed around. It provides pre-configured applications for a range of geospatial use cases, including storage, publishing, viewing, analysis and manipulation of data. It also contains sample datasets...
    Leader badge
    Downloads: 179 This Week
    Last Update:
    See Project
  • 3
    Jmol

    Jmol

    An interactive viewer for three-dimensional chemical structures.

    Over 1,000,000 page views per month. Jmol/JSmol is a molecular viewer for 3D chemical structures that runs in four independent modes: an HTML5-only web application utilizing jQuery, a Java applet, a stand-alone Java program (Jmol.jar), and a "headless" server-side component (JmolData.jar). Jmol can read many file types, including PDB, CIF, SDF, MOL, PyMOL PSE files, and Spartan files, as well as output from Gaussian, GAMESS, MOPAC, VASP, CRYSTAL, CASTEP, QuantumEspresso, VMD, and many other...
    Leader badge
    Downloads: 569 This Week
    Last Update:
    See Project
  • 4
    KiCad EDA

    KiCad EDA

    A Cross Platform and Open Source Electronics Design Automation Suite

    Leader badge
    Downloads: 153 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 5
    cfMesh

    cfMesh

    A library for polyhedral mesh generation

    cfMesh is an open-source library for volume mesh generation based on OpenFOAM. It implements various meshing workflows for volume mesh generation needed for CFD simulations with OpenFOAM. It is already a part of foam-extend, OpenFOAM for Windows, Caelus and OpenFOAM+ released by ESI. This repository is intended for contribution and collaborative development. If you have a new meshing algorithm or interested in contributing to cfMesh, do not hesitate to contact us. Please note that...
    Leader badge
    Downloads: 126 This Week
    Last Update:
    See Project
  • 6
    JGraphT
    JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
    Leader badge
    Downloads: 108 This Week
    Last Update:
    See Project
  • 7
    GeoTools, the Java GIS toolkit

    GeoTools, the Java GIS toolkit

    Toolkit for working with and mapping geospatial data

    GeoTools is an open source (LGPL) Java code library which provides standards compliant methods for the manipulation of geospatial data. GeoTools is an Open Source Geospatial Foundation project. The GeoTools library data structures are based on Open Geospatial Consortium (OGC) specifications.
    Leader badge
    Downloads: 402 This Week
    Last Update:
    See Project
  • 8
    Pure Data Computer Music System
    The Pure Data (short Pd) project on SourceForge unifies the extensions (or externals) written for the Pure Data Graphical Computer Music System written by Miller Puckette with contributions from many others.
    Downloads: 161 This Week
    Last Update:
    See Project
  • 9
    HNSKY

    HNSKY

    Hallo Northern Sky planetarium program

    Welcome to the semi professional free planetarium program HNSKY for MS-Windows and Linux. This program can control your telescope via the ASCOM or INDI interface, has a comprehensive up to date deep sky database with 30.000 objects and detailed descriptions. A star database with millions of stars and hundreds of Deep Sky Survey images which blends in accurately. Additional the program can access the online version of the Deep Sky Survey allowing online update of the asteroid and comet databases and it can search on-line in professional astronomical databases. ...
    Leader badge
    Downloads: 134 This Week
    Last Update:
    See Project
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10

    QTester104

    IEC 60870-5-104 protocol tester.

    This software implements the IEC60870-5-104 protocol (client side) for substation data acquisition and control via tcp/ip network using the QT UI Framework. It can be compiled on Linux and Windows platforms. It's possible to poll and view data from the remote system (RTU) and also send commands. >>> Have a look also at my new SCADA project here: https://github.com/riclolsen/json-scada
    Leader badge
    Downloads: 86 This Week
    Last Update:
    See Project
  • 11
    Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
    Leader badge
    Downloads: 134 This Week
    Last Update:
    See Project
  • 12
    Robocode

    Robocode

    Robocode is a programming tank game for Java

    Robocode is a programming game, where the goal is to develop a robot battle tank to battle against other tanks with Java. The robot battles are running in real-time and on-screen. The motto of Robocode is: Build the best, destroy the rest!
    Leader badge
    Downloads: 625 This Week
    Last Update:
    See Project
  • 13
    CCDciel

    CCDciel

    Astronomy CCD capture software

    A CCD capture software intended for the amateur astronomer. It include all the features required to perform digital imaging CCD observation of celestial objects. Using the standard drivers protocol INDI and ASCOM it can connect and control the CCD camera, the focuser, the filter wheel and the telescope mount. This software is part of a full suite for astronomical...
    Leader badge
    Downloads: 103 This Week
    Last Update:
    See Project
  • 14
    BRL-CAD

    BRL-CAD

    Open Source Solid Modeling CAD

    BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for rendering & geometric analyses, network distributed framebuffer support, image & signal-processing tools.
    Downloads: 157 This Week
    Last Update:
    See Project
  • 15

    AUDio MEasurement System

    PC based Oscilloscope and Spectrum analyzer using sound card

    AUDio MEasurement System - a multi-platfrom system for audio measurement through sound card in the PC. It contains: generator, oscilloscope, audio spectrum analyzer (FFT) and frequency sweep plot. Compiles and works under Linux, Windows and MacOS. Source code is available in "git" and as ZIP snapshot. For more information see README.md
    Leader badge
    Downloads: 68 This Week
    Last Update:
    See Project
  • 16
    SOFA is a statistics, analysis, and reporting program with an emphasis on ease of use, learn as you go, and beautiful output.
    Downloads: 106 This Week
    Last Update:
    See Project
  • 17
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 75 This Week
    Last Update:
    See Project
  • 18

    Common Image Generator Interface (CIGI)

    Industry standard communication with compliant image generators.

    Software libraries and tools designed for implementation and testing of the Common Image Generator Interface (CIGI), an interface for communication between an image generator (IG) and host device in simulations.
    Leader badge
    Downloads: 59 This Week
    Last Update:
    See Project
  • 19
    ODIN

    ODIN

    develop, simulate and run magnetic resonance sequences

    ODIN is a free software framework for rapid prototyping of magnetic resonance imaging (MRI) sequences. The sequences can be tested, simulated and executed on scanner hardware from different manufacturers.
    Downloads: 62 This Week
    Last Update:
    See Project
  • 20
    ASIStudio

    ASIStudio

    All-in-one Astrophotography Software Works on multi-OperatingSystem

    Leader badge
    Downloads: 49 This Week
    Last Update:
    See Project
  • 21

    rw

    rw calculates rank-width and rank-decompositions.

    rw calculates rank-width and rank-decompositions. It is based on ideas from "Computing rank-width exactly" by Sang-il Oum, "Sopra una formula numerica" by Ernesto Pascal, "Generation of a Vector from the Lexicographical Index" by B.P. Buckles and M. Lybanon and "Fast additions on masked integers" by Michael D. Adams and David S. Wise. On 2009's computers it works quite well up to graph sizes of about 28 nodes. Runtime and memory usage are exponential in the graph size.
    Downloads: 64 This Week
    Last Update:
    See Project
  • 22

    Practically Random

    statistical tests & psuedo- random number generators (RNGs, PRNGs)

    Randon number generation & testing. The best suite of statistical tests for fast PRNGs anywhere. Multithreaded for speed, command line tools for automation, no upper limit on data size. Also, a variety of C++ pseudo-random number generators with well designed interfaces aimed at practical uses, not just research.
    Leader badge
    Downloads: 456 This Week
    Last Update:
    See Project
  • 23
    Simple Event Correlator (SEC) is a lightweight event correlator for network management, log file monitoring, security management, fraud detection, and other tasks which involve event correlation.
    Leader badge
    Downloads: 95 This Week
    Last Update:
    See Project
  • 24
    Mecrisp - A family of optimising native code Forth implementations for MSP430, ARM Cortex M, RISC-V RV32IM(C), MIPS M4K and FPGAs.
    Leader badge
    Downloads: 49 This Week
    Last Update:
    See Project
  • 25
    Bowtie, an ultrafast, memory-efficient short read aligner for short DNA sequences (reads) from next-gen sequencers. Please cite: Langmead B, et al. Ultrafast and memory-efficient alignment of short DNA sequences to the human genome. Genome Biol 10:R25.
    Leader badge
    Downloads: 405 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB