Search Results for "gnu science"

x
Sort By:

Showing 9 open source projects for "gnu science"

View related business solutions
Agile Development Tools Linux Clear Filters & Widen Search
  • 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
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 1
    Metrix++

    Metrix++

    Management of source code quality is possible.

    The project has been moved to https://github.com/metrixplusplus/metrixplusplus ______________________ Metrix++ is an extendable tool to collect and analyse code metrics. - Multiple languages supported - Multiple metrics available - Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want. - High-performance. Processes thousands of files per minutes. -...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2

    autoCode4

    Synthesizing embedded control software from formal specifications

    autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    G4LTL-ST

    G4LTL-ST

    Generating PLC programs from formal specifications

    G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Klonwerk

    advanced variability management tool

    Klonwerk is an advanced and easy-to-use tool for reactive variability management and large-scale software reuse. It allows you to automatically clone and modify directories of textural or binary files (e.g. code, architecture, documentation), based on conceptual feature/decision models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • 5
    Our goal is to find out useful and funny ways for expanding the possibilities of many FOSS by integrating them with other FOSS and proprietary systems. You'll find here many open source plugins and extensions useful to put those FOSS hermits together.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Orange Effort Estimation Tool

    Orange Effort Estimation Tool

    Estimate software development effort with 5 different methods

    This tool enables software development effort estimation using 5 different methods. All industry standard methods are used. COCOMO II This is a model for effort estimation. The use of the model enables effort estimation from non-experts (e.g. not developers). Work Breakdown Estimation This is an effort estimation method based on expert judgment. Two options are available: Delphic Oracle and Three Point Estimation. Analogy / Comparison Estimation This method...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Developed by the manteiner Klederson Bueno, phpBurn is a MVC FRAMEWORK for PHP usage, initialy born as an ORM like hibernate and Nhibernate it allows you to create more and faster using OO concepts and patterns with a log of time gain.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Simple Generic Watchdog

    Simple Generic Watchdog

    Simple wathcdog that can monitor any kind of file if it is responding

    Simple wathcdog that can monitor any kind of file if it is responding and restarts process if it is not responding. Also it contains configuration programme that can configure what is the file that needs to be restarted and what process has to be monitored.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

Auth0 Logo