-
Massachusetts Institute of Technology
- edgarcosta.org
- https://orcid.org/0000-0003-1367-7785
Highlights
- Pro
Stars
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Work coming out of Dagstuhl seminar 23401
Recursive monkey patching for Python
nbruin / magma_kernel
Forked from cgranade/magma_kernelA magma kernel for Jupyter, based on bash_kernel
Debloated fork of the extension "I don't care about cookies"
repeat.vim: enable repeating supported plugin maps with "."
surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease
Enable macOS HiDPI and have a native setting.
roed314 / root-unitary
Forked from tdupu/root-unitarySearch code for root-unitary (Weil) polynomials
This code allows you to copy trainer road workouts to training peaks
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
CoCalc: Collaborative Calculation in the Cloud
Guide to securing and improving privacy on macOS
Heuristic determination of endomorphism rings of curves