A self-hosted travel/trip planner with real-time collaboration, interactive maps, PWA support, SSO, budgets, packing lists, and more.

List of Computer Science courses with video lectures.

A Self-contained Latex Book/Note Writing Tutorial.

Direct File

Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks; it can perform text wrapping and paragraph line break remov…

A minimal docker container for latex alpine

A LaTeX package to use amsthm with a key-value interface

dotfiles!

This is a tutorial to install ubuntu 20.4 in an external HDD without removing the internal HDD in windows.

A modern Wine wrapper for macOS built with SwiftUI

This package aims to provide a way to easily move LaTeX proofs in appendix.

Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.

Tool to make really compact bibs in TeX

OPLSS 2024 Coq Development

Config files for my own environment

Python library for stochastic numerical optimization

advanced compilers

My Personal Website

For 2019 Summer Hack a Thanos

A simple visual editor for creating commutative diagrams.

The official Vim repository

Seamless navigation between tmux panes and vim splits

A list of awesome resources for tmux

tmux source code

Oh my tmux! My self-contained, pretty & versatile tmux configuration made with 💛🩷💙🖤❤️🤍

the only cheat sheet you need

File system and storage benchmark that uses a custom language to generate a large variety of workloads.

C++ application development framework, to help developers create and deploy applications quickly and simply