-
-
revng Public
Forked from revng/revngrevng: the core repository of the rev.ng project (mirror)
C Other UpdatedAug 27, 2024 -
revng-qa Public
Forked from revng/revng-qaSource for rev.ng test cases
Python GNU General Public License v2.0 UpdatedMar 15, 2024 -
llvm-project Public
Forked from revng/llvm-projectLLVM fork with minor changes
Other UpdatedMar 15, 2024 -
revng-orchestra Public
Forked from revng/revng-orchestrarev.ng's package manager
Python UpdatedFeb 7, 2024 -
qemu Public
Forked from revng/qemuCustomized version of QEMU 2.4.0 exposing the TCG frontend and the helpers
C Other UpdatedOct 17, 2023 -
orchestra Public
Forked from revng/orchestrarev.ng configuration for orchestra. The starting point for any development.
Python MIT License UpdatedOct 17, 2023 -
xdot.py Public
Forked from jrfonseca/xdot.pyInteractive viewer for graphs written in Graphviz's dot language.
Python GNU Lesser General Public License v3.0 UpdatedFeb 24, 2022 -
buildkernel Public
Forked from sakaki-/buildkernelUtility to facilitate the building and installation of EFI secure boot kernels under Gentoo Linux.
Shell GNU General Public License v3.0 UpdatedOct 31, 2020 -
zeal Public
Forked from zealdocs/zealOffline documentation browser inspired by Dash
C GNU General Public License v3.0 UpdatedMar 28, 2020 -
mbedtls Public
Forked from Mbed-TLS/mbedtlsAn open source, portable, easy to use, readable and flexible SSL library
C Other UpdatedOct 3, 2017