Showing 35 open source projects for "ghost 4 linux"

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
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1
    Ada Class Library

    Ada Class Library

    Ada Class Library - an object orientated library for Ada.

    Text search and replace. Scripting (small tool programs). CGI scripts. Execution of external programs (incl. I/O redirection). Garbage Collection. Extendended Booch Components. CD-Recorder
    Leader badge
    Downloads: 94 This Week
    Last Update:
    See Project
  • 2
    The GNU Ada compiler
    This project currently provides the GNAT Studio Ada development environment, packaged for macOS. For a source of the compiler and software packages, for various operating systems, see https://ada-lang.io and Alire. For up-to-date releases of the GNAT compiler packaged for macOS, see https://github.com/simonjwright/distributing-gcc/releases. Older releases are retained for historical reasons.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 3
    Asud

    Asud

    Sudoku Assistant

    Pencil & paper Sudoku fans that need help will find that this [free & offline] app can help them to identify & eliminate candidate digits, using Windows or Linux. ASUD is a sudoku assistant tool designed to help with manually solving Sudoku puzzles. It handles routine tasks so you can focus on more advanced puzzle solving strategies. Algorithms have been added to detect and display (hidden or naked) pairs, triples, & quads, whose display can be toggled. Executables that run...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    AdaGate

    AdaGate

    3D OpenGL dungeon game using Ada: a tribute to Narbacular Drop

    AdaGate is a 3D OpenGL strategy game with escape rooms in a Stargate fantasy setting. It is an elaborate example of modern OpenGL programming using the Ada language; and a tribute to Narbacular Drop, and Amelia Earhart. Each room has a barrier that must be circumvented using portals. The barriers include water with piranha, molten magma, and walls. Runs on Windows, OSX, and GNU/Linux. The linux binary now runs on many linux distros! Includes all source code, build scripts & resources.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 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.
  • 5
    RufasSlider

    RufasSlider

    Klotsky class block slider puzzles.

    RufaSlider is a collection of 16 different block slider puzzles for kids and casual puzzlers that works on laptops and PCs running Windows, OSX or GNU/Linux. It includes a Klotski-style family, a DirtyDozen family, and a Traffic-Rush family. And now these puzzle families come with AutoSolvers to help you. The Klotski family uses rectangles of 4 sizes: 1x1, 2x2, 1x2, 2x1. The objective in each game is stated near the window top, but usually involves moving a large block to a specified location within the window. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    lorenz

    Ada contributions : demos of GTKAda, binding to PCRE

    Ada contributions : 1/Lorenz is a small animation program which draws the Lorenz attractor using GTK+. For maximum portability, it uses Ada and GTKAda with a Glade3 interface Windows executable bundled with all the GTK DLL's is provided. Upgraded to Gtk3 in 2017 2/Thin Ada binding to PCRE regular expression. 3/Gate3 : Ada code sketcher for glade3. generates an Ada prototype from a XML file. Enables RAD of user interface with glade 4/Julia set with GtkAda 5/OpenGL demos...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    ZanyBlue
    ZanyBlue: Ada libraries towards a finite element framework
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    AVR-Ada

    Ada cross compiler and libraries for AVR µCs

    The AVR-Ada project provides the gcc based Ada compiler GNAT for the AVR 8-bit microcontrollers. This includes: - the Ada compiler - the Ada run time system and the AVR support library - documentation and some sample programs. The project is now superseded by the Alire crates - [AVRAda_RTS](https://github.com/RREE/AVRAda_RTS) - [AVRAda_MCU](https://github.com/RREE/AVRAda_MCU) - [AVRAda_Lib](https://github.com/RREE/AVRAda_Lib) -...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    arknos

    Intelligent OS Interface

    Command launcher with task managment and others capabilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Ultrason

    Virtual MIDI Composer Plug-ins based

    Virtual MIDI Composer Plug-ins based Run song list potentialy in loop and auto play. Written with Ada and GtkAda 2016 and portmidi. GNU/Linux and MS Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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
  • 13

    Xia1

    XPath In Ada

    An Ada implementation of nearly all of the XPath 1.0 specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    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
  • 16
    C2Ada
    C2Ada is a translator from the C programming language to the Ada programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    An Ada binding to the libplayerc client library of Player/Stage robot platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    An other connect4 written in Ada using GtkAda, main language is French. An Artificial Intelligence is provided, you can play against the computer. Un autre Puissance4 écrit en Ada s'appuyant sur GtkAda. Il est pourvu d'une Intelligence Artificielle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    BlackBox Master is a reasoning game. The player fires electrons into the "Black Box" and tries to deduce where the Atoms are, based on where the electrons come out if they do.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 23
    Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    APQ is an Ada95 thick binding to allow Ada SQL client programs to access PostgreSQL, MySQL and Sybase database systems. The project is now hosted at http://framework.kow.com.br
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB