Similar repositories to AdaCore/ada-spark-rfcs:
AdaCore/ada-spark-rfcs
github
similar
danistefanovic/build-your-own-x
github
similar
alire-project/alire-index
github
similar
docandrew/CuBit
github
similar
Componolit/gneiss
github
similar
tootsuite/mastodon
github
similar
AdaCore/gprbuild
github
similar
Componolit/ada-runtime
github
similar
jrmarino/AdaBase
github
similar
reznikmm/adalib
github
similar
alkhimey/Ada_Kernel_Module_Framework
github
similar
reznikmm/ada-howto
github
similar
ada-actions/toolchain
github
similar
alire-project/alire
github
similar
Componolit/RecordFlux
github
similar
gabriele-galeotti/SweetAda
github
similar
Componolit/SXML
github
similar
damaki/libkeccak
github
similar
zertovitch/hac
github
similar
onox/orka
github
similar
ajxs/cxos
github
similar
AdaCore/gnatcoll-core
github
similar
godunko/adawebpack
github
similar
AdaCore/startup-gen
github
similar
rod-chapman/SPARKNaCl
github
similar
AdaCore/libadalang
github
similar
OneWingedShark/Byron
github
similar
AdaCore/VSS
github
similar
Eloston/ungoogled-chromium
github
similar
aquynh/capstone
github
similar
jrcarter/PragmARC
github
similar
AdaCore/xmlada
github
similar
AdaCore/gnat-llvm
github
similar
RavSS/HAVK
github
similar
HeisenbugLtd/spat
github
similar
cubesatlab/cubedos
github
similar
stcarrez/ada-awa
github
similar
AdaCore/gtkada
github
similar
stcarrez/ada-util
github
similar
simonjwright/cortex-gnat-rts
github
similar