Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in ada
What is the tick or apostrophe character for in Ada?
Sep 22, 2014
syntax
operators
ada
double precision in Ada?
Apr 21, 2019
double
precision
ada
numeric
Defining a modular type within a generic package
May 09, 2022
ada
Anyone can give me a summary of "single quote mark" usage in Ada?
Dec 19, 2021
new-operator
record
ada
arguments
quote
Can you call Ada functions from C++?
May 13, 2022
c++
c
ada
cross-language
An Erlang written in Ada?
Oct 11, 2020
erlang
ada
How to I build a string from other strings in Ada?
May 12, 2022
string
ada
Setting the license for modules in the linux kernel
Sep 24, 2022
c
linux-kernel
ada
Can an Ada Variant Record be binary compatible to a C++ union?
Sep 09, 2022
c++
record
ada
unions
variant
Ada compiler for Arm processors
Jun 25, 2018
compiler-construction
arm
ada
Are If Thens faster than multiplication and assignment?
Feb 05, 2021
c
optimization
ada
branch-prediction
Ada cross-compiler for iOS targets
Jul 22, 2021
ios
gcc
arm
llvm
ada
Semaphore in Ada
Oct 22, 2022
embedded
real-time
semaphore
ada
producer-consumer
Ada entry and when statement usage
Nov 02, 2022
ada
dynamic array size determined at runtime in ada
Jun 13, 2019
ada
dynamic-arrays
Ada: Getting user input to a String(1..10) and filling the rest with whitespace
Sep 16, 2022
string
input
ada
How to create an ada lib.a and link to C
Mar 14, 2018
c
ada
gnat
gnat-gps
Building GNATCOLL in an Alpine Linux Docker Container
Sep 05, 2022
docker
ada
alpine
gnat
musl
Aggregate Initialization Safety in C++
Sep 22, 2022
c++
ada
aggregate-initialization
How to prove this invariant?
Aug 31, 2022
ada
proof
invariants
proof-of-correctness
spark-ada
« Newer Entries
Older Entries »