Questions tagged [ada]

Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages.

Filter by
Sorted by
Tagged with
2 votes
1 answer
144 views

Using Ada's access type and generics to solve an ODE

This post is linked to Ada: Convert float to decimal I have produced Ada codes which uses the Euler algorithm Euler method to solve an ordinary differential equation. The codes given below are working ...
Adaenthusiast's user avatar
3 votes
0 answers
183 views

Tic Tac Toe in Ada

I'm new in Ada and made the following Tic Tac Toe implementation. It works as intended. tictactoe.gpr ...
Louis Etienne's user avatar
2 votes
0 answers
27 views

Thread safe Shareable and Splittable Buffer with Safe Memory (Project)

Backstory This is a buffer I wrote for use in multiple personal projects. It is designed to handle pretty much any data in pretty much any way. In particular I intend to use it in such instances as ...
LambdaBeta's user avatar
4 votes
1 answer
157 views

Subset Sum in Ada

One of my favorite classic programming exercises is the Subset Sum problem. I'm (trying) to learn Ada and it's the first thing I wanted to implement, even before a Hello World. The Subset Sum ...
gator's user avatar
  • 455
5 votes
0 answers
184 views

Concurrent Queue using Ada SPARK with the Ravenscar profile

See here: https://gitlab.com/linted/linted/blob/162b5e9fba53a90b3c6d78e214776e069c3c722b/src/ada-core/src/linted-queues.adb The code implements a concurrent queue. It can't allocate memory or use ...
Molly Stewart-Gallus's user avatar
4 votes
1 answer
112 views

Calculating change in Ada

I have written a change calculator using Ada. when the user inputs an amount of money it returns a list of the coins and bills needed to create that total. It starts off by trying to use the largest ...
kyle k's user avatar
  • 1,517
5 votes
1 answer
127 views

Using record variant for register mapping in Ada

It is OK to model a double usage register with a record variant: ...
nraynaud's user avatar
  • 153