Andrew Naguib's Homepage
(آندرو نجيب؛ الصفحة الشخصية)
Open-source Contributions [GitHub]
Considerable
 zk-auctions: A zero-knowledge-proof-based contract library for first- and second-price sealed-bid auctions  to govern bidder anonymity, decentralization, and integrity while particularly avoiding neopotism. |
 Rewriting Russell's & Whitehead “Principia Mathematica” in Lean |
 A Moodle plugin that evaluates source code by testing against pre-defined test cases in a sandboxed environment. The engine accepts C/C++. |
 Extended the integer programs to include the bin packing and vehicle routing problems. |
 Basic learning management system that includes course-management, assignments, quizzes, grading, online judging, and plagiarism detection components |
 As a part of (incomplete) GSoC program, I made contributions to HIR dump in the rust frontend for GCC. |
 Free open-source web-based visualization library based on Wilkinson's Grammar of Graphics |
Simple
 Reported three bugs that exhibits an invalid construction of a tensor on higher dimensions (specifically greater than \(n = 62\)). yamllintAdded an option that allows for ignoring a list of files enclosed in an input file |
   awesome-copycats   Editorial changes, e.g., adding examples, fixing typos, or document components |
Emacs
Figure 1: Tracing the implementation of the Conv2d layer in PyTorch.
Figure 2: During the formalization of Principia Mathematica
Open-source Front-ends to Software
| nitter.net | invidious.io | |
| (Twitter; also allows you to pull feeds as RSS) | (YouTube) |
(btw, icecat automatically uses them)
♚
I maintain this webpage using Org mode version 9.7.3 (commit id #e791640).