More
-
Ararat River Consulting, LLC
- Virginia, USA
More
-
-
cheribsd Public
Forked from CTSRD-CHERI/cheribsdFreeBSD adapted for the CHERI CPU.
Other UpdatedOct 16, 2024 -
kdbg Public
FreeBSD kernel debugging scripts
-
freebsd-ports Public
Forked from freebsd/freebsd-portsFreeBSD ports tree (read-only mirror)
-
cheri-llvm-project Public
Forked from CTSRD-CHERI/llvm-projectFork of LLVM adding CHERI support
-
-
snmalloc Public
Forked from microsoft/snmallocMessage passing based allocator
C++ MIT License UpdatedAug 28, 2024 -
illumos-gate Public
Forked from illumos/illumos-gateCommunity developed and maintained version of the OS/Net consolidation
-
-
-
-
-
freebsd-papers Public
Forked from freebsd/freebsd-papersThe FreeBSD Papers, Slides, and Video Collection
HTML UpdatedMay 23, 2024 -
freebsd-doc Public
Forked from freebsd/freebsd-docFreeBSD doc tree (read-only mirror)
HTML Other UpdatedMar 14, 2024 -
freebsd-ci Public
Forked from freebsd/freebsd-ciFreeBSD Continuous Integration (CI)
Shell UpdatedNov 29, 2023 -
openssl Public
Forked from openssl/opensslTLS/SSL and crypto library
-
-
rblcheck Public
Forked from logic/rblcheckCommand-line interface to RBL-style filter lists
C GNU General Public License v2.0 UpdatedApr 24, 2023 -
grub2-bhyve Public
Forked from grehan-freebsd/grub2-bhyveMakefile GNU General Public License v3.0 UpdatedMar 27, 2023 -
sail-x86-from-acl2 Public
Forked from rems-project/sail-x86-from-acl2Sail x86 model automatically translated from the ACL2 model
Python Other UpdatedMar 14, 2023 -
sail Public
Forked from rems-project/sailSail architecture definition language
Standard ML Other UpdatedFeb 8, 2023 -
llvm-project Public
Forked from llvm/llvm-projectThis is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Other UpdatedNov 22, 2022 -
-
-
-
-
-
nginx Public
Forked from nginx/nginxAn official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to …
-
-
freebsd-git-docs Public
Forked from bsdimp/freebsd-git-docsDraft copies of the FreeBSD git trandition documents
UpdatedDec 23, 2020