johannescmayer Goto Github PK

autoclicker

bepl

⏩ Video player that skips silence.

bookletify

Convert a PDF file that is in sequence into one that can be printed to create a stapled booklet.

colloquius

Display seekable transcriptions in terminal

death_reminder

Be more motivated by being reminded of your own mortality.

emacs-draw-image

package to easily insert and update drawings in emacs

espanso-hub

The official Espanso's package repository

espanso-lean-symbols

Lean symbols for espanso

gameoflife

gd-bachelor_thesis-report

This is the thesis for my bachelor's in Game Design.

gpt-ui

Simple interface for GPT

gsay

Nightcored Google TTS

input_snatcher

Program to send keyboard input from an android phone to a computer. Useful to send Gboard's ASR to your computer.

jumpcutter

Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw

keebie

Easy Second Keyboard support in Linux (With layers!)

lean-symbol-snippets

Generate math symbol snippets for espanso or yas-snippet based on the ones LEAN uses.

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

long-watch

CLI program to track how much time has passed since events you specify.

macos-workspace-names

A hack to show workspace names for macOS

nixpkgs

Nix Packages collection & NixOS

notify-at

A program to track various timers and send notifications.

obsidian-image-upload-toolkit

An obsidian plugin for uploading local images embedded in markdown to remote store and export markdown for publishing to static site.

obsidian-lesswrong-exporter

obsidian-org-mode-edit

obsidian-pick

A simple command line program to manipulate obsidian files, primarily for preprocessing for quartz.

obsidian-wrangler

A utility tool to automate various tedious management tasks in an obsidian vault

org-roam-spacemacs-layer

Add a layer for org-roam V2 and supporting packages

org_share

ovrflow

VR dance game that makes use of HTC Vive Trackers

plover-config

My plover config