wilbowma

#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

#!/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)

wilbowma

#!/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

#lang racket
(module ...

  (define-syntax (trace syn)
    ....)
    
  (define-syntax (trace-define-syntax syn)
    (syntax-case syn ()
      [(_ e ...)
       ....

wilbowma

#lang racket

(provide LMerge)
(require redex/reduction-semantics
         (only-in redex/private/matcher compiled-lang-lang))

(define-language LBase
  (e (+ e e)
     number))

wilbowma

# 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')