1285 projects for "gnu science" with 2 filters applied:

  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 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

    FRODO 2

    Open-Source Framework for Distributed Constraint Optimization (DCOP)

    FRODO is a Java platform to solve Distributed Constraint Satisfaction Problems (DisCSPs) and Optimization Problems (DCOPs). It provides implementations for a variety of algorithms, including DPOP (and its variants), ADOPT, SynchBB, DSA...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2

    Disposition

    Program to generate permutations and combinations

    C Library designed to generate in sequence permutations or combinations (possible orderings or subsets) of objects, with or without repetition. To demonstrate the use of the library, a command-line program (disp) and a GTK graphical version (GDisp) are provided too, useful to teach combinatorics.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4
    STLplus C++ library collection

    STLplus C++ library collection

    C++ Library collection

    Containers to extend STL: graph, tree, matrix, smart-pointer. Persistence (serialisation) of C++ data structures. Portability: subprocesses, TCP, file system. Reusable subsystems: library manager, message handler. Portable between OSs and compilers. Documentation is included in the download and is also available on the STLplus website http://stlplus.sourceforge.net. The headers are intended to be readable, so look at them too for usage information on each function and class.
    Downloads: 5 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 5

    zkcm

    A C++ library for multiprecision complex-number matrix calculations.

    zkcm library is a C++ library for multi-precision complex-number matrix calculations. It provides a number of functionalities including the LU decomposition, the singular value decomposition, tensor product calculation, tracing-out operations, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Fuber

    Experimental IEC 61499 Runtime

    Fuber is an interpreter that runs applications written in the language defined by the IEC 61499 standard. IEC 61499 is a programming standard for distributed control and measurement systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Gemi

    Gemi

    PCR primers / probes design from multiple & degenerate sequences

    Please, do not hesitate to contact us if you need help. https://sites.google.com/view/hsa23/ Gemi, an automated, fast, and easy-to-use bioinformatics tool with a user-friendly interface to design primers and probes for polymerase chain reaction (PCR). Gemi accepts multiple aligned and long DNA and RNA sequences with degenerate nucleotide (non-A/C/G/T bases). Gemi can be used for quantitative, real-time and conventional PCR (qPCR, rt-PCR, etc.), and Sanger sequencing. Gemi can parse large...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    GluCat: Clifford algebra templates

    GluCat: Clifford algebra templates

    Calculation with Clifford algebras: C++ library and Python module

    GluCat is a generic library of C++ templates that implement universal Clifford algebras over the field of real numbers. The PyClical extension module for Python gives users an easy Python scripting interface for calculations in Clifford algebras. The name PyClical is an homage to Pertti Lounesto's CLICAL.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    odaba

    odaba

    ODABA is an terminology-oriented database management system and develo

    ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a...
    Downloads: 3 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 10
    OpenAPC

    OpenAPC

    An open process control and laser engraving software solution

    An extensive and multi-platform visualisation, process control and HMI application that supports many different devices via an open plug-in interface. Beside a visual GUI editor a debugger is part of the package.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    ALCHA

    ALCHA

    A New Programming Language for FPGA Projects

    ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Java 2D & 3D visual entity relationship design & modeling (ERD,SQL) for Oracle,MSSQL,Postgres,MySQL,...,Database change&dictionary management, Swing Data Binding, Apache FOP Renderer for dot matrix printers,Sparx Enterprise Architect Reports + more
    Downloads: 4 This Week
    Last Update:
    See Project
  • 13
    stkpp

    stkpp

    C++ Statistical ToolKit

    STK++ (http://www.stkpp.org) is a versatile, fast, reliable and elegant collection of C++ classes for statistics, clustering, linear algebra, arrays (with an Eigen-like API), regression, dimension reduction, etc. Some functionalities provided by the library are available in the R environment as R functions (http://cran.at.r-project.org/web/packages/rtkore/index.html). At a convenience, we propose the source packages on sourceforge. The library offers a dense set of (mostly) template...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    TRAK UML Profile

    TRAK UML Profile

    Implementation of TRAK enterprise architecture framework as UML profil

    UML (TRAK) and SysML (TRAK_SYSML) profiles for the TRAK open source architecture framework that provides the objects and relationships needed for implementation of TRAK in a UML enterprise architecture modelling tool. TRAK is a general systems enterprise architecture framework based on MODAF.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    A header file (cexcept.h) that provides Try/Throw/Catch macros similar to those available in C++ for error handling.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Fuzzy sets for Ada

    Fuzzy sets for Ada

    Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis

    Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 18
    The OpenHMS Project
    OpenHMS brands a collection of projects and many subprojects developed by Health Market Science. This is a robust collection of development libraries, APIs, and tools oriented around data manipulation and professional software development.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    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: 2 This Week
    Last Update:
    See Project
  • 20
    JMEScriptGUI

    JMEScriptGUI

    Pequeño IDE para el lenguaje JMEScript.

    Con este IDE podrá probar cualquier script escrito en JMEScript con toda la funcionalidad del lenguaje, incluidos gráficos 2D y conexión MySQL. La versión para Android, en este momento, tiene menos funcionalidad y ejecuta la versión 0.1 de JMEScript. Parser JME y lenguaje JMEScript en https://sourceforge.net/projects/jme/ Documentación en https://morenobarrientos-jme.site44.com/ Código fuente y UDL para Notepad++ en pestaña 'FILES'
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Temporal Inference Engine

    Temporal Inference Engine

    A real time inference engine for temporal logical specifications

    A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    JME (Java Math Expression)

    JME (Java Math Expression)

    Evaluador de expresiones matemáticas para Java en español

    Biblioteca para Java que implementa un potente evaluador matemático en español y un lenguaje estructurado de script, JMEScript, que hace uso de éste. Puede evaluar expresiones altamente complejas, que incluyen; * vectores * matrices * números complejos * números enteros y reales de precisión arbitraria, * expresiones booleanas * conjuntos * cadenas * diccionarios * grafos * correspondencias y relaciones finitas Permite especificar operaciones y funciones definidas por el...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    PG2PLplot

    PG2PLplot

    A library to aid the transition from PGplot to PLplot in Fortran

    PG2PLplot is a library that facilitates the transition from PGplot to PLplot with Fortran programs
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Kile LaTeX Editor

    Kile LaTeX Editor

    Kile is a feature-rich LaTeX editor

    Kile is a LaTeX editor, a TeX shell that simplifies the creation of LaTeX documents.
    Leader badge
    Downloads: 183 This Week
    Last Update:
    See Project
  • 25
    A Virtual Machine based on a Simplified Instructional Computer (SIC). The Machine will emulate all the hardware of a SIC and will be able to run any program that is written for the SIC as described by Leland L.Beck in his book "System Software"
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo