sayantangkhan Goto Github PK

aoc22

Advent of Code 2022

auctex-latexmk

This library adds LatexMk support to AUCTeX.

counting-components

Python module written in Rust to count components after resolving intersections via surgery

defense-presentation

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

emacs-dashboard

An extensible emacs dashboard

evilset

A variant of the card game Set that randomizes attributes

geodesics-in-thin-part

Closed geodesics in the thin part of moduli space of non-orientable surfaces

gnome-shell-extended-gestures

Better touchpad gesture handling for GNOME

gnucash-web

A simple, mobile-friendly webinterface for GnuCash

hasklox

Haskell implementation of the Lox interpreter from 'Crafting Interpreters'.

hdp-course-notes

Live TeXed course notes from the High Dimensional Probability course from Winter 2021

image-png

PNG decoding and encoding library in pure Rust

interval-exchange-transformations

A Rust library to work with interval exchange transformations

latex-action

:octocat: GitHub Action to compile LaTeX documents

lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

logm-2021

Repository for the Lab of Geometry at Michigan project on convex presentations of translation surfaces

movie-plot-nlp-project

Repository for the Erdös project

non-orientable-limit-set-v2

org-to-things

Convert Org files to HTML with links to import into Things 3

oxyscheme

A compiler for a subset of Scheme

pcmi-illustrating-julia-sets

Code for the Julia set illustration workshop at PCMI

phd-thesis

Scaffolding to combine my papers for my thesis

podcast-archiver

Personal tool to keep a local copy of subscribed podcasts

poll-promise

A Rust promise for games and immediate mode GUIs

preprint-template

A template repository for creating ArXiV preprints.

real-analysis-qr-big-list

A list of problems for University of Michigan real analysis qualifying review

reu-2020

Repository containing the paper from the 2020 REU

rust-container

Dockerfile to set up a minimal Rust development environment with terminal Emacs

sage-with-packages

A docker image containing Sage, and some other packages necessary for my research.