Laine Taffin Altman's repositories
agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
homebrew-core
:beers: Core formulae for the Homebrew package manager
brew
🍺 The missing package manager for macOS (or Linux)
simde
Implementations of SIMD instruction sets for systems which don't natively support them.
Random123.jl
Julia implementation of Random123.
Dash-User-Contributions
Dash repo of user contributed docsets
meta-package-manager
🎁 wraps all package managers with a unifying CLI
julia-buildkite
Buildkite configuration files for Base Julia CI
homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
homebrew-cask-versions
🔢 Alternate versions of Casks
homebrew-cask-fonts
🖋 Casks of F🅾𝓝𝐓𝚂
juliaup
Julia installer and version multiplexer
num-traits
Numeric traits for generic mathematics in Rust
homebrew-SapMachine
HomeBrew Tap for SapMachine.
elfx86exts
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.
astc-encoder
The Arm ASTC Encoder, a compressor for the Adaptive Scalable Texture Compression data format.
half-rs
Half-precision floating point types f16 and bf16 for Rust.
homebrew-assorted
Assorted formulae and casks for Homebrew
pinned-init
Library facilitating safe pinned initialization
Dash-ARMRef
ARM Assembly Reference Manual for https://kapeli.com/dash
rstar
R*-tree spatial index for the Rust ecosystem
JuliaSyntax.jl
The Julia compiler frontend
pthariensflame.github.io
Laine’s personal site and blog
GenSquareDimNums.jl
1-square, -1-square, and 0-square symbol extensions to the real numbers
Swift-Duality
Create dual versions of Swift protocols
dash-docset-coq
Script to make Dash docset of Coq
pwn-dash-docset
Intel x86_64 assembly language and pwntools dash docset