Search Results for "gnu science"

x
Sort By:

Showing 8 open source projects for "gnu science"

View related business solutions
Agile Development Tools Mac Clear Filters & Widen Search
  • 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
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it 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
  • 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
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

Auth0 Logo