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