sarnold Goto Github PK

abc-fork

ABC: System for Sequential Logic Synthesis and Formal Verification

ada-overlay

Gentoo Ada overlay

adaptive-median

Adaptive-median image filter in pure python - use with

af_alg

Updated autotools version of af_alg OpenSSL engine plugin

agile-workflow

allwinner_tvout_manipulator

ammo.js-demos

Demo application base class and 3D physics demos based on ammo.js. Support for several scenegraphs including Three.js and SceneJS.

anlinux-resources-lfs

convert rootfs files to lfs

ansible-assertive

ansible-nfs-client

ansible-role-portage

Ansible role handle portage configuration and package installation on gentoo instances.

ansible-role-system-defaults

fpnd default apps and configuration for test deployments.

arduino-overlay

arduino IDE overlay for gentoo linux

arm

Drivers and misc for Gentoo on various ARM devices

arm64-mainline-linux

scripts to rebuild a known working kernel for ARM devices

arm64-multiplatform

beaglesat

A close relative of Laika

bela-image-builder

Scripts to build a Bela image from scratch

bmap-tools

BMAP Tools (forked from yocto repo)

bootloader-builder

create sanity in the insanity

bpi-not-mainline-bsp

Supports BananaPi BPI M1 / M1Plus / M2 / R1

bpi-not-mainline-kernel

Based on Kernel 4.2

bpi-sort-of-mainline-uboot

Based on U-boot V2015.07

buildkernel

Utility to facilitate the building and installation of EFI secure boot kernels under Gentoo Linux.

c2ada

cbmc

CBMC is a Bounded Model Checker for C and C++ programs.

cbootimage-configs

Configuration files for use with cbootimage

cccc

Source code counter and metrics tool for C++, C, and Java

cccc-action

A github action for generating complexity metrics for Java, C++, and C

chiptools

ChipTools is a utility to automate FPGA build and verification