guille
angeris
I sometimes do math and stuff
Languages
Top Repositories
Convex optimization for fun and profit.
The final project for the Stanford CS107e class. Gameboy emulator running on bare-metal Raspberry Pi.
A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
A CS221 final project: a dominoes AI
Repositories
67A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
Student version of Assignment 1 for Stanford CS336 - Language Modeling From Scratch
No description provided.
Convex optimization for fun and profit.
A very barebones package for solving sparse nonlinear least squares problems using Levenberg–Marquardt
No description provided.
A personal site or something
The final project for the Stanford CS107e class. Gameboy emulator running on bare-metal Raspberry Pi.
A simple sparse nonlinear least squares solver
Acorn's standard library of mathematical facts.
No description provided.
A (very tiny) formal verification mini-PL thing for basic Peano arithmetic, built on top of Julia's type system
No description provided.
A basic implementation of ZODA using CryptoUtilities.jl, done on a livestream
No description provided.
Collision avoidance via reciprocal projections
No description provided.
Code used to generate the figures for "Computational Bounds for Photonic Design"
A CS221 final project: a dominoes AI
Just a repo containing all of my personal scripts
No description provided.
Sample code for "Fast Reciprocal Collision Avoidance Under Measurement Uncertainty"
Code for "A new heuristic for physical design"
Chocolate: a microarchitecture small enough to be implemented on a Lattice HX1K FPGA
The entirety of the build environment for my blog.
No description provided.
Build retro games using WebAssembly for a fantasy console.
A Python implementation of "Computational Bounds for Photonic Design"
Minimum-distortion embedding with PyTorch
Yet another AoC in Zig