org-babel package for lean4 evaluation

A program for drawing knots and links, with support for importing images

VATA Tree Automata Library

Material for PARI/GP: new functions, some scripts, and syntax highlighting.

Haskell 101 and 102: slides and codelabs

Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your system configuration and dotfiles with minimal effort.

Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

doom-emacs packaged for Nix [maintainers=@thiagokokada]

🍉 Dotfiles that marry elegance and practicality.

A textbook on informal homotopy type theory

PARI/GP implementation of fundamental domains for congruence arithmetic Fuchsian groups

Julia wrapper for the PARI/GP library

Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv