michaelforney Goto Github PK

alsa-lib

The Advanced Linux Sound Architecture (ALSA) - library

aports

Mirror of aports repository

arbor

arbor with musl support

astroid

a threads-with-tags style, lightweight and fast, email client for notmuch, inspired by sup and others

awk

One true awk

b3sum

BLAKE3 hash tool

base64

public-domain base64 implementation

bc

An implementation of the POSIX bc calculator with GNU extensions

bearssl-util

binutils-gdb

Personal binutils branch

blake3-tiny

Tiny public-domain implementation of BLAKE3

breakpad

Mirror of Google Breakpad project

c

small self hosting C compiler

casync

Content-Addressable Data Synchronization Tool

coreboot

My fork of coreboot supporting Opus M4

cproc

C11 compiler (mirror)

cpython

The Python programming language

curl

A command line tool and library for transferring data with URL syntax, supporting HTTP, HTTPS, FTP, FTPS, GOPHER, TFTP, SCP, SFTP, SMB, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features

dmenu

dnssec-rr

Tools for working with DNSSEC (mirror)

docs.formality-lang.org

Formality Language documentation

dosfstools

dosfstools consists of the programs mkfs.fat, fsck.fat and fatlabel to create, check and label file systems of the FAT family.

duckstation

Fast PlayStation 1 emulator for PC and Android

fbthrift

Facebook's branch of Apache Thrift, including a new C++ server.

fm

FM-Net implementation (https://docs.formality-lang.org/en/latest/theory/Formality-Net.html)

formality

An efficient proof language

formality-c

An implementation of the Formality language in C

formality-evm

fribidi

GNU FriBidi

fspec-tools