jjgarzella
I am a Math PhD Student at UCSD. I started off programming iOS Apps in Objective-C, and I'm a huge fan of Swift, Julia, and Rust.
Pinned Repositories
ESALP-1
The Endangered Soaring African Lynx-Pidgeon Operating System
adjunction-formula-blueprint
Website and documentation for the Adjunction Formula, including dependency graph.
flang
interpy
A small interpreter, lambda-calculus plus math, written in Rust. Comes with lazy and eager flavors.
julia
The Julia Language: A fresh approach to technical computing.
mathlib
Lean mathematical components library
smack
SMACK Software Verifier And Verification Toolchain
jjgarzella's Repositories
jjgarzella/mathlib
Lean mathematical components library
jjgarzella/adjunction-formula-blueprint
Website and documentation for the Adjunction Formula, including dependency graph.
jjgarzella/pandemic-class-field-theory
This is a more polished writeup of a series of talks given in a digital reading course during the COVID-19 pandemic. The topic of the seminar was local class field theory. The proof deduces class field theory from Local Tate Duality, which is a group-cohomological analogue of Poincare duality. Talks and notes were given by myself, Sriram Gopalakrishnan, Brian Udall, and Wei Yao. Special thanks to Stefan Patrikis for leading the course, upon whose handwritten notes these are based. Also thanks to Richard Taylor for teaching Patrikis the material.
jjgarzella/flang
jjgarzella/interpy
A small interpreter, lambda-calculus plus math, written in Rust. Comes with lazy and eager flavors.
jjgarzella/julia
The Julia Language: A fresh approach to technical computing.
jjgarzella/smack
SMACK Software Verifier And Verification Toolchain
jjgarzella/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
jjgarzella/adjunction_formula
A very detailed proof of the adjunction formula
jjgarzella/DemoRailsApp
From Rails Tutorial Book
jjgarzella/EasyPolynomialStorage
jjgarzella/explicit-equations
jjgarzella/FLiT
A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
jjgarzella/HelloWorld
Hello World Program in all of the languages that I know.
jjgarzella/multiple-choice
A user-oriented way to do multiple choice
jjgarzella/nilang_test
jjgarzella/QuantEcon.jl
Julia implementation of QuantEcon routines
jjgarzella/quasi-F-split-hypersurfaces
jjgarzella/real-quadratic-units
jjgarzella/ring-master
Tools for dealing with presentations of euclidean domains
jjgarzella/Screeny
This app takes any valid web address and gives the user a screenshot of that website. It uses the Web Screenshot free API that can be found on mashape.com
jjgarzella/sv-benchmarks
Collection of Verification Tasks
jjgarzella/tt-categories
Notes on Tensor Triangulated Categories
jjgarzella/ucsd-geography-2022
jjgarzella/VectorOps
This set of libraries provides support for mathematical representations of vectors and related operations in a variety of languages