Showing 6 open source projects for "linux-abi"

View related business solutions
  • $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
  • 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
  • 1
    Mathpaqs

    Mathpaqs

    A collection of mathematical packages in pure Ada

    Various mathematical packages including algebra, finite elements, random variables, probability dependency models, unlimited integers. Pure Ada, fully portable. More information on... http://mathpaqs.sf.net Alire crate: https://alire.ada.dev/crates/mathpaqs Mirror: https://github.com/zertovitch/mathpaqs
    Downloads: 4 This Week
    Last Update:
    See Project
  • 2
    Interval arithmetic for Ada

    Interval arithmetic for Ada

    An implementation of interval arithmetic

    The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    IntervalRpnCalculator

    IntervalRpnCalculator

    An HP RPN calculator with interval output

    This terminal app runs on PCs or laptops running OSX or GNU/Linux. It attempts to mimic the functionality of an HP ReversePolishNotation [RPN] calculator with the added enhancement of interval output. So along with your answer, you get a good idea of its trustworthiness. This app uses GAOL, a C++ library to perform arithmetic with floating-point intervals.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    HungarianAlgorithm

    HungarianAlgorithm

    An Ada implementation of the Hungarian Algorithm to minimize cost

    The Hungarian algorithm can be described as optimally solving a workers versus jobs assignment problem that minimizes total cost. This implementation assumes a square cost matrix, i.e. the number of jobs equals the number of workers to do them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5

    eprb_signal_correlations

    Simulation of a two-channel Bell test, with closed-form proofs

    Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    AdaAutoDiff

    AdaAutoDiff

    C++ Templates and Ada Package for Automatic Differentiation

    Operators are overloaded so that a normal looking function definition provides access to not only evaluations of itself, but to evaluations of any of its analytic derivatives. Automatic differentiation means the user does not need to define the analytic expressions for all the various partial derivatives. It also means that those complex expressions are essentially calculated at compile time, and merely evaluated at runtime. First order derivatives only, forward...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo