Similar repositories to santoslab/aadl-translator:

• santoslab/aadl-translator github similar
• osate/osate2 github similar
• ksu-cis-706/compiler github similar
• osate/osate2-plugins github similar
• GaloisInc/tower github similar
• duo-labs/appsec-education github similar
• kernkonzept/fiasco github similar
• vocho/openqnx github similar
• echronos/echronos github similar
• python-tls/tls github similar
• sorpaas/rux github similar
• Yubico/yubikey-personalization github similar
• 1Password/srp github similar
• jbtule/NicePlayer github similar
• GaloisInc/ivory github similar
• hjl-tools/x86-psABI github similar
• seL4/l4v github similar
• mjg59/mei-amt-check github similar
• analysis-tools-dev/dynamic-analysis github similar
• f9micro/f9-kernel github similar
• mendersoftware/mender github similar
• genodelabs/genode github similar
• sakaki-/gentoo-on-rpi-64bit github similar
• Netflix/aminator github similar
• AbsInt/CompCert github similar
• niltsh/MPlayerX github similar
• letsencrypt/acme-spec github similar
• FreeRTOS/FreeRTOS-Kernel github similar
• f-secure-foundry/usbarmory github similar
• keybase/kbfs github similar
• standardnotes/desktop github similar
• coreboot/coreboot github similar
• martinezjavier/ldd3 github similar
• openssh/openssh-portable github similar
• CLIUtils/CLI11 github similar
• seL4/seL4 github similar
• gopher-os/gopher-os github similar
• chipsec/chipsec github similar
• EFForg/privacybadger github similar
• google/wycheproof github similar