Showing 22 open source projects for "gnu science"

View related business solutions
  • 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
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 1
    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
  • 2
    Differential Calculator

    Differential Calculator

    Terminal calculator with differential error estimates

    This is a terminal calculator with a remarkable twist. It uses symbolic differentiation to provide a numerically precise error estimate with each calculated answer. It mimics the functionality of an HewlettPackard ReversePolishNotation [RPN] calculator simply because I like RPN. But along with your answer, you get some measure of its trustworthiness. Runs on PCs or laptops running Windows or Linux.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Fuzzy machine learning framework

    Fuzzy machine learning framework

    A library and a GUI front-end for fuzzy machine learning

    Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent...
    Downloads: 10 This Week
    Last Update:
    See Project
  • 4
    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
  • 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
  • 5
    EQ Track

    EQ Track

    Collection of embedded softwares to control a telescope mount.

    EQ Track purpose is to provide amateur telescope makers (ATM) with electronic board schematics and embedded software to control their telescope mount via stepping motors. EQ Track comes in different "flavors" : - "Basic" controls the right ascension and declination motors of an equatorial mount. - "Go To" controls the motors of a mount in any orientation (ie. equatorial, altazimuth, alt-alt), to point and track equatorial coordinates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    MSP430-Ada

    Ada compiler support for TI MSP430 processors

    Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Helena is an explicit state model checker for high-level Petri nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    CORALLO aims to be a portable media-independent module for reliable and efficient live streaming of multimedia data over peer-to-peer networks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    An Ada binding to the libplayerc client library of Player/Stage robot platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    A Finite States Machine (FSM) implementation in Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    The libadacrypt-dev is a slow crypto library for Ada with a nice API. It is written for the i386 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA, Whirlpool DSA, OAEP-RSA, HMAC, RMAC... Dependencies: make and gnat.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    GTKAda wrapper is a very simplified interface to GTK Ada. It is intended to be used by beginner Ada programmers (students at the beginning of the computer science courses) to easily build graphical applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A collection of useful software packages to perform engineering tasks, especially electrical engineering and chip design. All packages come as shrink-wrapped installers for Apple's Mac OS X.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    GReeTinGS - GReeTinGS is a Real Time Generic Scheduler GreeTingS is an Ada library which intends to provide a generic API to schedule real time tasks using various algorithms. The library contains a few algorithms (RM, EDF, LLF) and is easily extendable
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    OS based on Agent based Security with a new type of split kernel and agents platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Professional music typesetting, according to the book "The Art Of Music Copying" by Clinton Roemer. Reads MusicXML, CMN, ABC and Guido. Produces MIDI, EPS, PDF, PNG and SVG; from small images for the web to full printable sheet music.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Icarus Verilog Interactive on MacOSX
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    It's a tool who shows the concepts of a type of neuronal networks (multi-layers percetron). It's not a real ocr, it's just a little didactical application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo