William J. Bowman wilbowma
wilbowma
/ meme.rkt
Created
October 9, 2020 03:08
— forked from maonus/meme.rkt
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
| #lang cur | |
| (require | |
| cur/stdlib/nat | |
| cur/stdlib/equality | |
| cur/ntac/base | |
| cur/ntac/standard | |
| cur/ntac/rewrite | |
| (for-syntax syntax/parse | |
| (for-syntax racket/base syntax/parse))) |
wilbowma
/ pinentry-kwallet
Last active
August 28, 2020 19:53
— forked from aeris/pinentry-kwallet
pinentry proxy between kwallet and pinentry-qt
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/python3 | |
| # -*- coding: utf-8 -*- | |
| # AGPLv3 license | |
| import dbus, logging, os, re, subprocess, sys, threading | |
| LOGGER = logging.getLogger("kwallet") | |
| hdlr = logging.FileHandler("/tmp/pinentry-kwallet.log") | |
| formatter = logging.Formatter("%(levelname)s %(message)s") | |
| hdlr.setFormatter(formatter) | |
| #LOGGER.addHandler(hdlr) |
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
| #!/bin/bash | |
| # IMPORTANT: You will need to disable SIP aka Rootless in order to fully execute this script, you can reenable it after. | |
| # WARNING: It might disable things that you may not like. Please double check the services in the TODISABLE vars. | |
| # Get active services: launchctl list | grep -v "\-\t0" | |
| # Find a service: grep -lR [service] /System/Library/Launch* /Library/Launch* ~/Library/LaunchAgents | |
| # Agents to disable | |
| TODISABLE=('com.apple.security.keychainsyncingoveridsproxy' 'com.apple.personad' 'com.apple.passd' 'com.apple.screensharing.MessagesAgent' 'com.apple.CommCenter-osx' 'com.apple.Maps.mapspushd' 'com.apple.Maps.pushdaemon' 'com.apple.photoanalysisd' 'com.apple.telephonyutilities.callservicesd' 'com.apple.AirPlayUIAgent' 'com.apple.AirPortBaseStationAgent' 'com.apple.CalendarAgent' 'com.apple.DictationIM' 'com.apple.iCloudUserNotifications' 'com.apple.familycircled' 'com.apple.familycontrols.useragent' 'com.apple.familynotificationd' 'com.apple.gamed' 'com.apple.icloud.findmydeviced.findmydevi |
wilbowma
/ trace-define-syntax.rkt
Last active
August 29, 2015 14:02
— forked from anonymous/trace-define-syntax.rkt
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
| #lang racket | |
| (module ... | |
| (define-syntax (trace syn) | |
| ....) | |
| (define-syntax (trace-define-syntax syn) | |
| (syntax-case syn () | |
| [(_ e ...) | |
| .... |
wilbowma
/ lmerge
Last active
December 14, 2015 07:59
— forked from jrslepak/gist:5054161
A demonstration of a merging nonterminals in define-union-language
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
| #lang racket | |
| (provide LMerge) | |
| (require redex/reduction-semantics | |
| (only-in redex/private/matcher compiled-lang-lang)) | |
| (define-language LBase | |
| (e (+ e e) | |
| number)) |
wilbowma
/ PKGBUILD.txt
Created
August 17, 2012 01:31
— forked from ThePixelDeveloper/PKGBUILD.txt
AUR - chromedriver
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
| # Maintainer: grimsock <lord.grimsock at gmail dot com> | |
| pkgname=chromedriver | |
| pkgver=21.0.1180.4 | |
| pkgrel=1 | |
| pkgdesc="ChromeDriver is a standalone server which implements WebDriver's wire protocol" | |
| arch=('i686' 'x86_64') | |
| url="http://code.google.com/p/selenium/wiki/ChromeDriver" | |
| license=('Apache') | |
| depends=('chromium>=12.0.712.0' 'libpng12') |