arichardson Goto Github PK

lk

LK embedded kernel

lld

http://llvm.org/git/lld with added CHERI support

lldb

Fork of LLDB adding CHERI support

llvm

llvm-cheri

Fork of LLVM adding CHERI support

llvm-project

Fork of LLVM adding CHERI support

macdylibbundler

Utility to ease bundling libraries into executables for OSX

mergify

Merge git changes on commit at a time.

mips-baremetal-test

myexpenses

GPL licenced Android Expense Tracking App

newlib

Unofficial mirror of sourceware newlib repository. Updated daily.

newlib-1

Newlib adapted to run on baremetal MIPS QEMU

nginx

An 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 nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html

nvi2

A multibyte fork of the nvi editor for BSD

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

openjpeg

Official repository of the OpenJPEG project

openssh-portable

Portable OpenSSH

opensuse-spotify-installer

Automate installation of Spotify on openSUSE

picolibc

picolibc - a C library designed for embedded 32- and 64- bit systems.

pipeline-test

pkg

Package management tool for FreeBSD. Help at #pkgng on Freenode or [email protected]

powerline-gitstatus

A Powerline segment for showing the status of a Git working copy

qemu

QEMU with support for CHERI

qtbase

QtBase with CHERI support

quickcheckvengine

A RISC-V TestRIG Verification Engine based on QuickCheck

riscv-arch-test

riscv-isa-sim

Spike, a RISC-V ISA Simulator

riscv-pk

RISC-V Proxy Kernel

ros2_dashing_minimal

Minimal build of ROS2 dashing C/C++ libraries for CheriBSD

rtld-tests

Some tests for CHERI rtld