Search Results for "ada programming langauge"
Sort By:
Showing 39 open source projects for "ada programming langauge"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
1
The Demonstrations Programs for the Wikibook "Ada Programming".
-
2
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. -
3
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... -
4
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. -
Our Free Plans just got better! | Auth0You 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.
-
5
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. -
6
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". -
7
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. -
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. ... -
9
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... -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
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... -
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) -
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. -
13
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. -
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... -
15
A fully automatic and transparent tool to measure programming language popularity on the Internet.
-
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. -
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. -
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... -
19
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. -
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.
-
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)
-
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. -
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').
-
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. ...
-
25
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.
