Similar repositories to GaloisInc/mmc-paper:

• GaloisInc/mmc-paper github similar
• tootsuite/mastodon github similar
• DLR-SC/tasking-framework github similar
• zhelnio/mil1553-spi github similar
• DLR-RY/outpost-core github similar
• esa/nanosat-mo-framework github similar
• antmicro/zynq-mkbootimage github similar
• florath/rmtoo github similar
• ckormanyos/real-time-cpp github similar
• doorstop-dev/doorstop github similar
• ligurio/practical-fm github similar
• tchajed/coq-tricks github similar
• Xilinx/u-boot-xlnx github similar
• embedded-boston/awesome-embedded-systems github similar
• renode/renode github similar
• emweb/wt github similar
• orbitalindex/awesome-space github similar
• RobotLocomotion/drake github similar
• agda/agda github similar
• panda-re/panda github similar
• orangeduck/BuildYourOwnLisp github similar
• microsoft/SEAL github similar
• facebook/wangle github similar
• nodejs/nan github similar
• littlefs-project/littlefs github similar
• tock/tock github similar
• coq/coq github similar
• ocaml/ocaml github similar
• amperser/proselint github similar
• ponylang/ponyc github similar
• wren-lang/wren github similar
• facebook/pyre-check github similar
• msgpack/msgpack github similar
• norvig/paip-lisp github similar
• zephyrproject-rtos/zephyr github similar
• Immediate-Mode-UI/Nuklear github similar
• ActivityWatch/activitywatch github similar
• Z3Prover/z3 github similar
• foambubble/foam github similar
• coursera-dl/coursera-dl github similar