chrisdone
/ Printf.idr
Last active
December 8, 2023 00:02
Type-safe dependently-typed printf in Idris
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Printf | |
| %default total | |
| -- Formatting AST. | |
| data Format | |
| = FInt Format | |
| | FString Format | |
| | FOther Char Format | |
| | FEnd |
plaidfinch
/ pretty-pragmata.el
Last active
July 15, 2021 01:56
Mappings for prettify-symbols-mode to enable Pragmata Pro's ligatures in Emacs. I've taken some slight liberties with the original ligature map, to suit my own tastes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; PRETTIFY SYMBOLS (with Pragmata Pro) | |
| (defun setup-pragmata-ligatures () | |
| (setq prettify-symbols-alist | |
| (append prettify-symbols-alist | |
| '(("!!" . ?) | |
| ("!=" . ?) | |
| ("!==" . ?) | |
| ("!≡" . ?) | |
| ("!≡≡" . ?) | |
| ("!>" . ?) |
DeLaGuardo
/ pragmatapro-font-lock-symbols-v2.el
Last active
February 28, 2024 01:27
Snippet for support ligatures from PragmataPro font in Emacs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; Enable ligatures without prettify-symbols | |
| (provide 'add-pragmatapro-symbol-keywords) | |
| (defconst pragmatapro-fontlock-keywords-alist | |
| (mapcar (lambda (regex-char-pair) | |
| `(,(car regex-char-pair) | |
| (0 (prog1 () | |
| (compose-region (match-beginning 1) | |
| (match-end 1) |
johnbender
/ prefs.js
Created
February 23, 2013 06:20
Set up Chrome Secure Shell to handle solarized terminal colors
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Disable bold. | |
| term_.prefs_.set('enable-bold', false) | |
| // Use this for Solarized Dark | |
| term_.prefs_.set('background-color', "#002b36"); | |
| term_.prefs_.set('foreground-color', "#839496"); | |
| term_.prefs_.set('color-palette-overrides', [ | |
| '#073642', | |
| '#dc322f', |
trtg
/ magic_trackpad_visualizer.py
Created
October 20, 2012 10:15
Visualize multitouch contact points from the magic trackpad using python in linux
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/python | |
| import pygame | |
| import re | |
| from numpy import int32 | |
| import ctypes | |
| import time | |
| w=1280 | |
| h=1024 | |
| #this is the debugfs entry for the trackpad, you can figure | |
| #this out by watching the system log when you connect the trackpad |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| set rnu | |
| au BufEnter * :set rnu | |
| au BufLeave * :set nu | |
| au WinEnter * :set rnu | |
| au WinLeave * :set nu | |
| au InsertEnter * :set nu | |
| au InsertLeave * :set rnu | |
| au FocusLost * :set nu | |
| au FocusGained * :set rnu |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [global_config] | |
| title_transmit_bg_color = "#839496" | |
| title_inactive_fg_color = "#93a1a1" | |
| title_transmit_fg_color = "#eee8d5" | |
| title_inactive_bg_color = "#586e75" | |
| [keybindings] | |
| [profiles] | |
| [[default]] | |
| palette = "#073642:#d30102:#859900:#b58900:#6c71c4:#d33682:#2aa198:#839496:#586e75:#cb4b16:#859900:#b58900:#268bd2:#d33682:#2aa198:#93a1a1" | |
| login_shell = True |