Search Results for "ada programming langauge"

Showing 39 open source projects for "ada programming langauge"

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 generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 8 Monitoring Tools in One APM. Install in 5 Minutes. Icon
    8 Monitoring Tools in One APM. Install in 5 Minutes.

    Errors, performance, logs, uptime, hosts, anomalies, dashboards, and check-ins. One interface.

    AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
    Start Free
  • 1
    Wikibook Ada Programming
    The Demonstrations Programs for the Wikibook "Ada Programming".
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    Alire

    Alire

    Command-line tool from the Alire project and supporting library

    Alire is a source-based package manager for the Ada and SPARK programming languages. It facilitates the building and sharing of projects within the Ada community, allowing developers to easily manage dependencies and publish their own libraries or programs. Alire aims to streamline the development process for Ada and SPARK by providing a standardized approach to package management. ​
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    Idris 2

    Idris 2

    A purely functional programming language with first class types

    In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Ruby

    Ruby

    Ruby programming language

    A dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write. Ruby is a language of careful balance. Its creator, Yukihiro “Matz” Matsumoto, blended parts of his favorite languages (Perl, Smalltalk, Eiffel, Ada, and Lisp) to form a new language that balanced functional programming with imperative programming.
    Downloads: 17 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
    DMNL

    DMNL

    dmnl is another attempt of A. i.

    dmnl is another attempt of A. i. written with Ada. Ada is an portable programming language. With Ada, the text after tow minus sign ('-') are a comment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    hbox

    hbox

    Sokoban solver written in Ada

    This is a commandline-terminal sokoban solver written in Ada. It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the incredible power of the Hungarian Algorithm. The proper command to extract the archive and maintain the directory structure is "7z x filename".
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    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: 1 This Week
    Last Update:
    See Project
  • 8

    Seed7

    Interpreter and compiler for the Seed7 programming language.

    Interpreter, compiler, libraries, documentation and examples for the Seed7 programming language. Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. ...
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    WorldCupSokerban

    WorldCupSokerban

    Soccer-themed 3D Sokoban Game

    This is a soccer-themed, 3rd-person 3D sokoban puzzle game. It uses data in a format that is commonly found on the internet. It has undo <u> and restart <r> functions. Comes with many puzzle files, each typically having dozens of "levels". The next <n> and previous <p> keys move between levels. The <Lshft> and <Rshft> keys move between the different puzzle files. The <z> key creates a setpoint (reZero) so that subsequent restarts restore that setpoint. To move the "kicker" use the...
    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
    AdaVenture

    AdaVenture

    kid-friendly retro point & click 3D OpenGL "adventure" game

    AdaVenture is a kid-friendly retro point&click game, intended to be a minimal extension to 3D of the original 2D Atari game named "Adventure". Now runs on Windows, OSX, and Gnu/Linux -- all distros. Set in ancient Persia, it begins outside the castle of the young King Xerxes, who inherited a golden chalice from his father, Darius the Great. It was recently stolen by a surly foe named King Leonidas of Sparta. Your quest is to find and return the royal chalice to its pedestal within...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    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
  • 12

    corlpack

    Ada Library for heterogenous vectors

    Corlpack consists of a library and tools aiming to simplify and accelerate programming of small, scientific, computational applications. One of the planned features is the loading and saving of a variety of research data into a single generic data structure, that is much like the named list from R, thus removing the need to learn many data access APIs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    AdaControl

    AdaControl

    Ada source code controller

    A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 14

    NexusVX

    Open source OWASP SelfBot For Defense And Offensive Use

    What is a selfbot? ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ A selfbot is basically a bot inside your own account. It uses your token to post messages as you. It reacts to you and you only. A token is a small piece of encrypted text. Its basically a key to run Discord applications, it will need to connect to the account the app should run on. That’s why both bot accounts and user accounts have tokens. Since selfbots have access to the Discord API (Application Programming...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Language Popularity Index
    A fully automatic and transparent tool to measure programming language popularity on the Internet.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    gnostic

    gnostic (or Ada gnostic) is Ada Generic Neural Objects System Engineer

    gnostic (or Ada gnostic) is Ada Generic Neural Objects System Engineering For Self Programming Process development with Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    cyborg

    Cyborg is an cybernetic organism project written with Ada programming

    Cyborg is an cybernetic organism project written with Ada programming language and using PragmARC library ; Developped on GNU/Linux system with 160x64 characters terminal.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    Adamanborg

    Adamanborg is evolved cybernetic organism with Ada.

    Help: Adamanborg [ Options [ Parameters ] ] Help: Options : -F : Configuration filename => Wide_String -h : print this message => -q : quiet option => -x : running under X window system => -v : print the version => -o : running under textual 80x25 mode => -w : running under textual 160x64 mode => -W : running under textual 211x78 mode => -f : train filename for L1 => Wide_String -r : network filename for L1 => Wide_String -R : network filename for L2 => Wide_String -l...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Whitaker's Words Latin Dictionary

    Whitaker's Words Latin Dictionary

    Latin dictionary and grammar aid: Latin to English, English to Latin.

    Written in the Ada programming language, William Whitaker's Words Latin dictionary provides definitions and grammatical analysis of words found in Latin texts. It can deduce the dictionary form of a word based on the form actually found in a text. It can handle Latin words, phrases, or whole files. The dictionary contains some 39000 entries, as would be counted in an ordinary dictionary.
    Downloads: 18 This Week
    Last Update:
    See Project
  • 20
    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
  • 21
    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
  • 22

    pyWeb Literate Programming Tool

    Literate Programming in pure Python

    pyWeb is a Literate Programming tool that will work with any markup language and any programming langauge. The idea is to allow you to create great documentation with as constraints or limitations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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
  • 24
    Mpbenchmark is an application benchmark for evaluating the efficiency of multiprocessor support for parallel processing. Mpbenchmark is a revised version of JetBench (https://sourceforge.net/projects/jetbench/). Mpbenchmark is implemented in several different programming languages, including  Ada,  C with OpenMp,  Java 8 using the Thread class,  Java 8 using Thread Pools,  Java with Jomp,  Jamaica RTSJ with Real-time Threads (compiled) and  C#. The input data of mpbenchmark is configurable via InputFile.txt in the IOFiles folder. The output data is be written into IOFiles folder. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB