trevorfancher

Tulsa, Ok

Pinned Repositories

elm-lang.org
Server and client code for the Elm website.
Language:Elm2k 74 381366
homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Language:Ruby20.9k 317 6.5k10.7k
legacy-homebrew
💀 The former home of Homebrew/homebrew (deprecated)
27k 923 17k11.4k
lean
Lean Theorem Prover
Language:C++0 0 00
ra
Basic Analysis, undergraduate real analysis textbook
Language:TeX0 1 00
scv
Tasty Bits of Several Complex Variables, graduate textbook
Language:TeX0 1 00
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Language:Zig00

trevorfancher's Repositories

trevorfancher/lean
Lean Theorem Prover
Language:C++0 0 00
trevorfancher/ra
Basic Analysis, undergraduate real analysis textbook
Language:TeX0 1 00
trevorfancher/scv
Tasty Bits of Several Complex Variables, graduate textbook
Language:TeX0 1 00
trevorfancher/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Language:Zig00