The user home repository for the Mathematics in Lean tutorial.

A collection of formalized statements of conjectures in Lean.

Weighs the soul of incoming HTTP requests to stop AI crawlers

Feature-rich wifi hotspot creator for Linux which provides both GUI and command-line interface. It is also able to create a hotspot using the same wifi card which is connected to an AP already ( Si…

Itty.bitty is a tool to create links that contain small sites

Guide for hacking your reMarkable tablet

Simple solution to saving and restoring i3 workspaces

The FORM project for symbolic manipulation of very big expressions

Compute twisted Hodge numbers of complete intersections

A Macaulay 2 package for toric intersection theory

A bunch of random scripts I've either written, downloaded or clipped from #git.

The Julia compiler frontend

schubert is a Maple package for Intersection Theory

Generic rings in C (experimental)

A simple Macaulay2-Framework for finite field experiments

Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.

💧 Liquid Tensor Experiment

reMarkable to Xournal++ converter

Stream your reMarkable screen over SSH.

Git implemented in JavaScript

Analyze how a Git repo grows over time

Rumi Documents

A simple tool to forward ports locally or remotely, no root or SSH required

mirror of gera's insecure programming examples | http://community.coresecurity.com/~gera/InsecureProgramming/

GPI-Space: Memory Driven Computing and Big Data

Tools for the reMarkable paper tablet

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

A modern commutative diagram editor for the web.