235 projects for "gnu science" with 1 filter applied:

  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 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
  • 1
    TORCS - The Open Racing Car Simulator
    TORCS, The Open Racing Car Simulator is a highly portable multi platform car racing simulation. It is used as ordinary car racing game, as AI racing game and as research platform. It runs on Linux (x86, AMD64, ARM and PPC), FreeBSD, OpenSolaris and Windows.
    Leader badge
    Downloads: 312 This Week
    Last Update:
    See Project
  • 2
    Agena

    Agena

    Agena is an interpreted procedural programming language.

    Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.
    Leader badge
    Downloads: 72 This Week
    Last Update:
    See Project
  • 3
    OmegaT - multiplatform CAT tool

    OmegaT - multiplatform CAT tool

    The free computer aided translation (CAT) tool for professionals

    OmegaT is a free and open source multiplatform Computer Assisted Translation tool with fuzzy matching, translation memory, keyword search, glossaries, and translation leveraging into updated projects.
    Leader badge
    Downloads: 2,288 This Week
    Last Update:
    See Project
  • 4
    Teem

    Teem

    Tools to process and visualize scientific data and images

    Teem is a set of C libraries for manipulation, measurement, and visualization of structured scientific data. Includes N-dimensional image I/O and processing, volume rendering, diffusion tensor processing, and more. Latest code via git clone http://git.code.sf.net/p/teem/teem.git . Join us at https://discord.gg/xBBqZGXkF7
    Downloads: 56 This Week
    Last Update:
    See Project
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 5
    Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.
    Leader badge
    Downloads: 28 This Week
    Last Update:
    See Project
  • 6
    A simple software to read source file of (.src,.svg)Ovation/WDPF's(Emerson Process Management) Graphics Builder/Control Builder. There are also including some useful Ovation Engineering Tools.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 7
    Stud.IP ist ein Lern- und Informations-Management-System für Hochschulen, Bildungseinrichtungen und Unternehmen. Professioneller Support und Auftragsentwicklung wird durch data-quest (www.data-quest.de) angeboten.
    Leader badge
    Downloads: 8 This Week
    Last Update:
    See Project
  • 8
    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: 41 This Week
    Last Update:
    See Project
  • 9

    calc: C-style arbitrary precision system

    Calc: arbitrary precision C-like arithmetic & calculator

    Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 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
  • 10
    DAR - Disk ARchive

    DAR - Disk ARchive

    For full, incremental, compressed and encrypted backups or archives

    DAR is a command-line backup and archiving tool that uses selective compression (not compressing already compressed files), strong encryption, may split an archive in different files of given size and provides on-fly hashing, supports differential backup with or without binary delta, ftp and sftp protocols to remote cloud storage Archive internal's catalog, allows very quick restoration even a single file from a huge, eventually sliced, compressed, encrypted archive eventually located on...
    Leader badge
    Downloads: 119 This Week
    Last Update:
    See Project
  • 11

    TIPC Cluster Domain Sockets

    Cluster wide IPC providing datagram, connection, and bus messaging

    The Transparent Inter Process Communication service can best be described as a cluster wide equivalent to the Unix Domain Socket IPC, but with much more features. Go to http://www.tipc.io for more details.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    belofte chess

    belofte chess

    A promising chess program

    A console/text based chess program with XBoard/CECP and UCI API, available on all major platforms. You may need a graphical chess interface to use it. Please refer to README.md in the files section for installation instructions. The last stable release is 2.2.0 and has been released on 13/04/2026. Belofte 0.2.0 till 0.9.20 (c/c++): Xboard 1 & 2 (CECP) - Linux/Unix/(Windows) Belofte 2.1.1 and up (c++11) : UCI and Xboard 2 - Linux/Windows/Mac/Android/... For access to code, please...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 13
    wxArt2D gives wxWindows applications sophisticated vector drawing functionality. It is based on a framework supporting multiple views within a hierarchical document. Supports drawing & (Graph) editing. In-output in SVG, GDSII, XML, easy to extend.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    MooseFS

    MooseFS

    Fault tolerant, POSIX-compliant, Net Distributed Storage / File System

    MooseFS (MFS) is a fault tolerant, highly performing, scaling-out, network distributed file system. It spreads data over several physical servers which are visible to the user as one resource. For standard file operations MooseFS mounted with FUSE acts as other Unix-alike file systems: * A hierarchical structure (directory tree) * Stores POSIX file attributes (permissions, last access and modification times) Supports special files (block and character devices, pipes and sockets) *...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 15
    Bandicoot

    Bandicoot

    fast C++ library for GPU linear algebra & scientific computing

    * Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    p3d

    p3d

    General data-reduction tool for fiber-fed integral-field spectrographs

    p3d is a general data-reduction tool for use with fiber-fed integral-field spectrographs (IFSs); although, the spectrum viewer works with spectrum data cubes of any origin. The tool is built about the proprietary software IDL (Harris/EXELIS; see http://www.harrisgeospatial.com), but can be used without any license. Most slowly running loops are implemented in parallelized C (OpenMP).
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17
    General Knowledge Machine Project

    General Knowledge Machine Project

    Intellect Modeling Kit: assisting research, diagnostics, consulting

    We humans are bound by intellectual abilities. All knowledge is far beyond power of any person. The only way to apply knowledge is to build machines able to present it human way but not limited by volume. Intellect Modeling Kit (IMK) is intended to build knowledge machines (KM) assisting experts on the steps of activity: * Observation; * Producing propositions based on knowledge; * Elimination of impossible propositions; * Selection and verification of the most appropriate...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    TurboVNC

    TurboVNC

    High-speed, 3D-friendly, TightVNC-compatible remote desktop software

    TurboVNC is a high-performance, enterprise-quality version of VNC based on TightVNC, TigerVNC, and X.org. It contains a variant of Tight encoding that is tuned for maximum performance and compression with 3D applications (VirtualGL), video, and other image-intensive workloads. TurboVNC, in combination with VirtualGL, provides a complete solution for remotely displaying 3D applications with interactive performance. TurboVNC's high-speed encoding methods have been adopted by TigerVNC and...
    Leader badge
    Downloads: 134,976 This Week
    Last Update:
    See Project
  • 19
    Printed Circuit Board Layout Tool
    PCB is a tool for the layout of printed circuit boards. PCB can produce industry standard RS-274X and Excellon NC-Drill format output for submission to board manufacturers.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 20
    The RDP Classifier is a naive Bayesian classifier that can rapidly and accurately provides taxonomic assignments for bacterial and archaeal 16S rRNA sequences, fungal LSU and fungal ITS sequences, with confidence estimates for each assignment. More information and tutorials on how to install, use and retrain RDP Clasifier can be found on at https://github.com/rdpstaff/classifier and John Quensen's blog (https://john-quensen.com/). Citation: 1. Wang Q, Garrity GM, Tiedje JM, Cole JR....
    Leader badge
    Downloads: 62 This Week
    Last Update:
    See Project
  • 21
    This project is now hosted on https://mined.github.io and will be co-hosted here until further notice. Text editor with extensive Unicode and CJK support. Convenient and efficient features for editing of plain text documents, programs, HTML etc. User-friendly interface, mouse control and menus. Runs in a text-mode environment like xterm or mintty.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    GeomSpace

    GeomSpace

    Interactive geometry software for Euclidean and non-Euclidean spaces

    GeomSpace is interactive geometry software for different geometric spaces. You can build your own universe of any dimension and with any geometry. You can choose Euclidean, elliptic, hyperbolic, Galilean, Minkowskii, de Sitter among other spaces.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    MesoRD is a stochastic and deterministic simulator of coupled chemical reactions and diffusions in space.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    VIKAMINE is a flexible environment for visual analytics, data mining and business intelligence - implemented in pure Java. It features several powerful visualization and mining methods, and can utilize background knowledge.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
Auth0 Logo