Self-hosted AI workspace.

Self-contained repository for the corresponding TyDe'19 paper

Powerful and highly extensible command-line based document and bibliography manager.

Countdown timer and stopwatch in your terminal

LaTeX package for typesetting pseudocode.

Tools for checking identities in polymorphism minions. Mostly.

LaTeX class for creating documents with scroll-like pages. Suitable for reading on tablets, etc

Competitive Programmer's Handbook

A very fast and expressive template engine.

A minimal, lightweight, informative zsh prompt theme

Pretty, minimal and fast ZSH prompt

The Agda Universal Algebra Library (html docs available at the url below)

Fast math typesetting for the web.

Bibtex parser for Python 3

Yet Another BIBliography Formatter

Proof of concept of a MathSciNet BibTeX scraper in Python

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Network Analysis in Python

Fast, Scalable, Flexible Static Site Generator (SSG)

Platonic solids in Tikz

HoTTEST Summer School materials

A 21st century LaTeX wrapper

Simple, faithful BibTeX parser and algorithms for Python 3

TinyDB is a lightweight document oriented database optimized for your happiness :)

Python package to autocomplete bibtex bibliographies

A tool for fixing a BibTeX reference list using DBLP API

Mirror of ocaml-forester

web search done right

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.