Alexander Richardson's repositories
l41-python-dtrace
A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...
asciidoctor-intellij-plugin
AsciiDoc plugin for products on the IntelliJ platform (IDEA, RubyMine, etc)
cheri-compressed-cap
A C library to compress/decompress CHERI capabilities
devel-dir-switcher
devel-dir-switcher: Quickly switch between multiple source and build directories
epoll-shim
small epoll implementation using kqueue; includes all features needed for libinput/libevdev
gem5
The official repository for the gem5 computer-system architecture simulator.
glib
Read-only mirror of https://gitlab.gnome.org/GNOME/glib
libuv
Cross-platform asynchronous I/O
llvm-project
Fork of LLVM adding CHERI support
nvi2
A multibyte fork of the nvi editor for BSD
picolibc
picolibc - a C library designed for embedded 32- and 64- bit systems.
qtbase
QtBase with CHERI support
riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
riscv-isa-manual
RISC-V Instruction Set Manual
sail-morello
Sail version of the Morello ISA specification
sail-riscv
Sail RISC-V model
SPIRV-LLVM-Translator
A tool and a library for bi-directional translation between SPIR-V and LLVM IR
upstream-llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.