<2024-12-16 Mon 15:18>

I am currently working on zk-auctions.

Open-source Contributions [GitHub]

profile for ndrwnaguib on Stack Exchange, a network of free, community-driven Q&A sites

Considerable

ecole-logo-bare.png Extended the integer programs to include the bin packing and vehicle routing problems. 2560px-Moodle-logo.svg.png A Moodle plugin that evaluates source code by testing against pre-defined test cases in a sandboxed environment. The engine accepts C/C++.
46582722-e9e11380-ca4b-11e8-8dc3-ce015916c853.jpg Free open-source web-based visualization library based on Wilkinson's Grammar of Graphics logo.png As a part of (incomplete) GSoC program, I made contributions to HIR dump in the rust frontend for GCC.

yamllint

Added an option that allows for ignoring a list of files enclosed in an input file
Basic learning management system that includes course-management, assignments, quizzes, grading, online judging, and plagiarism detection components

Simple

Pytorch_logo.png?20211003060202 Reported three bugs that exhibits an invalid construction of a tensor on higher dimensions (specifically greater than \(n = 62\)). numpylogoicon.png?raw=true 1024px-Elasticsearch_logo.svg.png?20210414071206 xtensor.svg

awesome-copycats

1024px-Keras_logo.svg.png?20200317115153 Hydra-Readme-logo2.svg ray_header_logo.png Editorial changes, e.g., adding examples, fixing typos, or document components

Emacs

conv2d_pytorch_trace.png

Figure 1: Tracing the implementation of the Conv2d layer in PyTorch.

formalization-of-principia-mathematica.png

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.1 (commit id #eb36137).