The math library of Lean 4

A collection of formalized statements of conjectures in Lean.

Implementation of a library in Julia to conduct calculations on modules over posets, as per the following paper: https://arxiv.org/pdf/2008.00063

Mastodon timeline demo app for FediAlgo, the fully customizable timeline algorithm that will free you from the tyranny of reverse chronological order.

VS Code extension for Macaulay2

Simple implementation of a Twitter-Wall like grid of postings from Mastodon

A beautiful, simple, clean, and responsive Jekyll theme for academics

Home Assistant integration for Huawei Solar inverters via Modbus

Formalizing "Proofs from THE BOOK"

A Launchbar action that lets you search through devonthink effectively

MailMate integration bundle with Emacs, to use as external editor

Reduce the size of tablet-written (vectorized) lecture notes PDFs

Collaboration area for the workshop in Leipzig, 2018

[MIRROR] Official Gentoo ebuild repository

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

My unix style mail setup

Binomials and Walks on Graphs

Computing Irreducible Resolutions

mad's personal gentoo overlay

Macaulay 2 package for binomial ideals

Homological Algebra in Macaulay 2

A bunch of ebuilds, mostly to push them around between my dev-machines.

Cipi is computing informations projections iteratively

[MIRROR] arch testing tool

cipy is a tool to analyze conditional independence models

An implementation of MobileOrg for the Android platform

(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds

A high-level cross-protocol url-grabber