issues
search
ohenley
/
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal
627
stars
71
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add VSCode Extensions section with pointers to my extensions.
#33
Lucretia
closed
4 years ago
0
added some community links, removed Google Group (dead link)
#32
thindil
closed
4 years ago
0
Add Ada module for BBEdit (https://www.barebones.com/products/bbedit).
#31
Blady-Com
closed
4 years ago
0
Rename ada-interface to Gneiss
#30
jklmnn
closed
4 years ago
0
Added Yass and Hunter, updated Vim-Ada link to maintained version
#29
thindil
closed
5 years ago
0
Added Mine Detector
#28
jrcarter
closed
5 years ago
0
Add AdaML
#27
rocher
closed
5 years ago
4
Update README.md
#26
andreacervetti
closed
5 years ago
4
Remove duplicate, add ada-interface and cappulada
#25
jklmnn
closed
5 years ago
1
Compilers, interpreters, containers
#24
OCTAGRAM
closed
5 years ago
0
Add some libraries written by Brad Moore
#23
onox
closed
5 years ago
0
Add libsodium-ada
#22
onox
closed
5 years ago
0
Add online books
#21
onox
closed
5 years ago
0
add stcarrez/ada-ado
#20
gerr135
closed
5 years ago
3
Update README.md.
#19
Blady-Com
closed
5 years ago
0
QtAda/AdaStudio
#18
jere-software
closed
5 years ago
3
Remove github.com/AdaCore/embedded-runtimes
#17
Fabien-Chouteau
closed
5 years ago
0
Added ZanyBlue
#16
FredPraca
closed
5 years ago
0
Add gnatcoll-json
#15
persan
closed
5 years ago
0
Add project STOTP by jklmnn
#14
yannickmoy
closed
5 years ago
3
Add STOTP
#13
jklmnn
closed
5 years ago
0
Amatrix
#12
jklmnn
closed
5 years ago
1
Added some libs more to come
#11
persan
closed
5 years ago
1
"Programming in Ada 2012" is not the language reference!
#10
sparre
closed
5 years ago
2
Add reference to main book on SPARK
#9
yannickmoy
closed
5 years ago
0
Added stuff
#8
Entomy
closed
5 years ago
1
Add various new resources in particular on SPARK.
#7
yannickmoy
closed
5 years ago
0
Add the bare bones OS kernel repo.
#6
Lucretia
closed
5 years ago
0
Add AVR-Ada project
#5
tkoskine
closed
5 years ago
0
This list should be in https://github.com/topics/awesome
#4
mgrojo
closed
5 years ago
1
Removing high-speed-candy-sorting-machine
#3
Fabien-Chouteau
closed
5 years ago
0
Adding EwoK micro-kernel
#2
Fabien-Chouteau
closed
5 years ago
0
Adding some projects
#1
Fabien-Chouteau
closed
5 years ago
0
Previous