Laine Taffin Altman

Rust implementation of a random priority bag

A CLI workflow for the administration of Mac applications distributed as binaries

Assorted formulae and casks for Homebrew

:beers: Core formulae for the Homebrew package manager

🍺 The missing package manager for macOS (or Linux)

An experimental library for Cubical Agda

Rust's standard library vendor-specific APIs and run-time feature detection

Half-precision floating point types f16 and bf16 for Rust.

Decode binaries and print out which instruction set extensions they use. This program's name is a lie: it supports not just x86/ELF but also ARM64, MachO, and possibly more.

A dynasm-like tool for rust.

A safe, concurrent, practical language.

The Arm ASTC Encoder, a compressor for the Adaptive Scalable Texture Compression data format.

Optimized implementation for fixed-width, large integers in Rust.

Reference implementation of proposed result for C

ARM Assembly Reference Manual for https://kapeli.com/dash

Dash repo of user contributed docsets

Julia installer and version multiplexer

The Julia compiler frontend

The Julia Language: A fresh approach to technical computing.

An exploration of fumulas in Agda—a new perspective on ring theory

Solver for optimal number representations in Nularev

Julia implementation of Random123.

A general-purpose lens library for Rust.

Code generation tool for control and status registers

Buildkite configuration files for Base Julia CI

Optics library for rust

🎁 wraps all package managers with a unifying CLI

A naïve implementation of big integers using a bijective numeration system internally

Reference software implementation of a complex-number generalization of IEEE-754 binary floating point

Implementations of SIMD instruction sets for systems which don't natively support them.