Skip to content

Instantly share code, notes, and snippets.

View jonaprieto's full-sized avatar

Jonathan Cubides jonaprieto

View GitHub Profile
@hensg
hensg / ghostty-shortcuts.md
Created February 5, 2025 17:47 — forked from trashhalo/ghostty-shortcuts.md

Ghostty Keyboard Shortcuts

Default keyboard shortcuts for Ghostty terminal emulator. Platform-specific differences are noted where applicable.

Window Management

Action Windows/Linux macOS
New window Ctrl+Shift+N Cmd+N
Close window Alt+F4 Cmd+Shift+W
@rzrn
rzrn / nbe.ml
Last active November 27, 2021 15:33
Hyperprover in 150 LOC
type expr =
| EVar of string
| EApp of expr * expr
| EPi of string * expr * expr
| ESig of string * expr * expr
| ELam of string * expr * expr
| EPair of expr * expr
| EFst of expr
| ESnd of expr
| ESet of int
@ecthiender
ecthiender / doom_emacs_for_haskell.md
Last active September 24, 2024 13:07
Step by step instructions to setup doom emacs for Haskell + Haskell Language Server (LSP)

Install doom emacs

git clone --depth 1 https://github.com/hlissner/doom-emacs ~/.emacs.d
cd ~/.emacs.d
bin/doom install

Optional

@thealmarty
thealmarty / idris2notes.md
Last active August 4, 2021 21:34
Lessons from Idris 2
@heitor31415
heitor31415 / pomodoro.sh
Last active March 6, 2021 11:54
Bash Pomodoro
#!/bin/bash
# My shell pomodoro
WORK=25 # Minutes of work
PAUSE=5 # Minutes to a short pause
TIMES=1 # Repeat Pomodoro cycle TIMES times
usage() { # Function: Print a help message.
echo "Usage: $0 [ -t TIMES ] [ -w WORK ] [ -p PAUSE ]" 1>&2
}
exit_abnormal() { # Function: Exit with error.
@MattPD
MattPD / analysis.draft.md
Last active November 29, 2025 20:13
Program Analysis Resources (WIP draft)
@AndiH
AndiH / tikz-arrows.pdf
Last active August 25, 2025 06:25
TikZ Arrow Tip Overview
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.