The MSR Ironclad project builds provably secure and reliable systems.

Resources for my Homotopy Type Theory course at OPLSS 2023

PhD course on Functional Programming and Climate Impact Research

Focus: a minimalist presentation theme for LaTeX Beamer.

Pytorch-adapted version of PymoNNto

Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.

Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks; it can perform text wrapping and paragraph line break remov…

🎧 Open source music streaming app! Available for both desktop & mobile!

Algorithm Design (Kleinberg Tardos 2005) - Solutions

A mechanisation of Wasm in Coq(Rocq)

(Discontinued) - A Persian (farsi) Monospaced Font for coding - فونت (قلم) فارسی وزیرکد برای کد نویسی

Optimized implementation of suffix tree in python using Ukkonen's algorithm.