Search Results for "ada programming"
Sort By:
Showing 26 open source projects for "ada programming"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
Payroll Services for Small Businesses | QuickBooksEasily pay your team and access powerful tools, employee benefits, and supportive experts with the #1 online payroll service provider. Manage payroll and access HR and employee services in one place. Pay your team automatically once your payroll setup is complete. We'll calculate, file, and pay your payroll taxes automatically.
-
1
The Demonstrations Programs for the Wikibook "Ada Programming".
-
2
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. He has often said that he is “trying to make Ruby natural, not simple,” in a way that mirrors... -
3
hbox4
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". -
4
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. Seed7 spares... -
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
5
olympia
Dynamical Dialogic agent
Dynamical Dialogic Agent neural based over french text written with Ada.. Ada is an portable programming language. -
6
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) -
7
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... -
8
AdaGate
3D OpenGL dungeon game using Ada: a tribute to Narbacular Drop
AdaGate is a kid-friendly 3D sokoban puzzle game within a Stargate / Portal fantasy setting. It is a great example of modern OpenGL programming using the Ada programming language. It runs on Windows, OSX, or Linux. While searching a remote south-seas atoll for remnants of a lost American heroine, a stargate kawoosh lures you into 4 strange dungeons. Escape will require the logical rearrangement of weird power cells [ZPMs] that roll in only two directions. Shoot your portal guns... -
9
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... -
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
10
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. -
11
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. -
12
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... -
13
A fully automatic and transparent tool to measure programming language popularity on the Internet.
-
14
Adamanborg
Adamanborg is evolved cybernetic organism with Ada.
... : lexic filename => Wide_String -m : max epochs for L1 => Positive -M : max epochs for L2 => Positive -c : converged for L1 => Real -C : converged for L2 => Real -i : max iteration for L1 => Positive -n : initialize network for L1 => -N : initialize network for L2 => -U : univers filename => Wide_String -s : max samples for L1 => Positive -S : max samples for L2 => Positive -e : user name => Wide_String -H : hostname => Wide_String -P : Self programming process => -p : load manpages -
15
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. -
16
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. This may generate many hundreds of thousands of 'words' that one can construct over all the declensions... -
17
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.
-
18
AdaSDL is a set of Ada (programming language) bindings, ports, and some original applications based on SDL (Simple DirectMedia Library - http://www.libsdl.org)
-
19
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...
-
20
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. -
21
Code Timer keeps track the time you spent learning any programming language such as C,C++,C# etc.....
-
22
NCandE
Compile and execute any code from within Notepad++
NCandE grants the popular Notepad++ text editor the capability to compile and execute any code, with native support for Ada, Batch, C, C++, D, Java, Lua and Python code. Custom languages can be added with the built-in GUI Configuration Tool. The compile (Build) and run (Execute) functions are added under the Run command in Notepad ++. The "Build" and "Execute" commands automatically detect which compiler is necessary for the file running the commands. Custom paths, commands and switches... -
23
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.
-
24
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
-
25
AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).