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
How would I define the __m256i data type in Ada?
Oct 21, 2025
simd
ada
intrinsics
avx2
gnat
How does Oberon's object oriented model differ from standard OOP? [closed]
Oct 23, 2025
oop
pascal
ada
modula-2
oberon
Defining a generic scalar-type package in Ada
Oct 23, 2025
ada
Do Ada 83 exceptions include resource cleanup?
Oct 20, 2025
exception
destructor
ada
try-finally
language-implementation
Type conversions and if expressions
Oct 20, 2025
ada
ada2012
How to mark unreachable code in Ada/SPARK
Oct 17, 2025
ada
formal-verification
spark-formal-verification
How to use for loop in a multiple dimensional array?
Oct 16, 2025
ada
Having a hard time indexing an array
Oct 16, 2025
arrays
generics
indexing
ada
Is this a bug with UTF conversion in GNAT Ada
Oct 15, 2025
ada
gnat
Ada: Gnat Gprbuild Add a binary library with no .adb to a project
Oct 14, 2025
ada
gprbuild
HowTo & multidimensional matrix in Ada
Sep 22, 2025
matrix
multidimensional-array
ada
Passing a C++ array to Ada95
Sep 20, 2025
c++
arrays
pointers
ada
Build static library from Ada code to be linked without GNAT
Sep 16, 2025
ada
Passing Strings from Ada function to C function
Sep 16, 2025
c
string
ada
How can I access a symbol from the linker script in my Ada code?
Sep 14, 2025
ada
linker-scripts
gnat
spark-ada
What are the semantics of Ada task priorities on Linux?
Sep 10, 2025
linux
scheduled-tasks
scheduling
ada
What is the best way for initializing a fixed-length string in Ada?
Sep 07, 2025
string
ada
bounded-types
How is it possible, in Ada, to have a code failure from assigning a 64bit floating point number to a 16bit integer?
Sep 08, 2025
type-conversion
ada
Ada - how to explicitly pack a bit-field record type?
Sep 07, 2025
stream
record
ada
bit-fields
How to generate a unique id in Ada?
Sep 07, 2025
uuid
ada
uniqueidentifier
« Newer Entries
Older Entries »