Showing 228 open source projects for "gnu/linux"

View related business solutions
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Let your crypto work for you

    Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1

    ghdl-updates

    GHDL - a VHDL simulator

    GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Zada is a Zlib implementation fully in Ada. The advantage of Zada is its unconditional portability: native compiled code, but no need to worry about endianness or 32 bit or 64 bit versions, or bindings, or DLL's, or whatever. So far, the project is dormant, but the realization is a straightforward task using two existing SourceForge projects: 1) Clone the ZLib-Ada thick binding project. 2) Replace the functions having Import pragma in Zlib.Thin (zlib-thin.ads) by native ones. For...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    neurochess

    Self chess learning process by artificial neural network

    Self chess learning process by artificial neural network white random attribution to of values of chess game, before to pass opposed value to neural network and the desire successor of board with various part of game chess generated with minimax algorithm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    GnuArchman

    Gnu/Linux Evolved interface

    Hybrid textual/Graphical Gnu/Linux evolved interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    Safir SDK Core

    Safir SDK Core

    For Truly Distributed Systems

    This is the home of the development of the Safir SDK Core open source platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    a new runtime core platform
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    AdaDoc is a tool for developers using the Ada programming language (currently Ada95). Its goal is to create documentation in different formats (XML, HTML, LaTeX, ...) from a package specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Ada Cryptographic Objects (ACO) is an Ada library of cryptographic algorithms and related services.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    AdaSDL is a set of Ada (programming language) bindings, ports, and some original applications based on SDL (Simple DirectMedia Library - http://www.libsdl.org)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10
    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
  • 11
    ssprep is a tool that generates file-trees from a given set of templates. The intent is generation of project structures. The major design goals has been: * Simple. * Platform independent. * Configurable. * Recursive.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Canta
    A tool to help to sing in tune. It can play a MIDI song and it displays the notes on the screen as they are played. It analyses the voice of the user and displays it on the same screen. More on www.singintune.org
    Downloads: 9 This Week
    Last Update:
    See Project
  • 13
    Experimental Compiler Library And Tools. Complete Ada 2005 compiler, written in Ada 2005 using literate programming techniques. Initially to target Bachar IA-32 v1 kernel for AdaOS (project 'bachar').
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Xia1

    XPath In Ada

    An Ada implementation of nearly all of the XPath 1.0 specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    ASIS for GNAT
    ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Ahven

    Ahven

    Unit testing framework for Ada

    Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Codegroup

    Codegroup

    A Java application for transferring computer files in 5 letter groups

    Codegroup is a Java application that will allow one to convert binary (or text) computer files in to 5 letter codegroups for transmission over email, landline telephones, radioteletype or Morse Code. Codegroup has internal error correction & limited cryptography capabilities. Codegroup : ZZZZZ YBPIL AIAIG FMOPP CPAAA DGNGP GPGPA ADNJN ELJKO ELIMO GEOHF KIFGP IFBCB PKCPI YJMHE PHBHP PPOBH NCOHD AKLLL AGHFP DEGEF LKELC EAIJI ABAGP AHPPO IHHPH OHPDF YNFPB ALEPO KMPKP Once this...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    Ada manufacture

    Gnu/Linux Ada manufacture

    Gnu/Linux Ada manufacture is small application to create and manage your Ada projects. In systemic vision, or cybernetic prevision.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    Ada Lapack

    A partial port of Lapack to Ada 2012

    These files provide a native Ada implementation of some parts of Lapack. The codes provided here are a direct translation (using f2a.pl from Oliver Kellogg) of the Fortran source to Ada. The code is written in the form of a generic package and covers the Lapack routines for - Matrix determinant and inverse on general matrices, - Eigenvalues and eigenvectors of general, real and hermitian symmetric matrices, - Solutions of systems of equations for general, real and hermitian symmetric...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Text-Oriented Messaging Interfaces for Ada. Wrappers for various client/server and pub/sub messaging protocols, focusing exclusively on text message communications. Currently supporting AMQP, STOMP, and ZeroMQ.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    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
  • 24
    Ada projects - for educational purposes. Each is a small project illustrating a particular tool, technique. Ada is the primary language but will touch upon Qt, Networking, Image processing and so on.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25

    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
MongoDB Logo MongoDB