This file contains hidden or 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
| all:test | |
| test: display.o eval.o | |
| CPPFLAGS+=-std=c++0x | |
| CPPFLAGS+=-g -O0 | |
| CPPFLAGS+=-I ~/custom/boost/ | |
| # CPPFLAGS+=-fopenmp | |
| # CPPFLAGS+=-march=native |
This file contains hidden or 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
| <?xml version="1.0"?> | |
| <!DOCTYPE cross-domain-policy SYSTEM "/xml/dtds/cross-domain-policy.dtd"> | |
| <!-- Policy file for xmlsocket://socks.example.com --> | |
| <cross-domain-policy> | |
| <!-- This is a master socket policy file --> | |
| <!-- No other socket policies on the host will be permitted --> | |
| <site-control permitted-cross-domain-policies="master-only"/> |
This file contains hidden or 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
| var source = require('vinyl-source-stream'); | |
| var gulp = require('gulp'); | |
| var gutil = require('gulp-util'); | |
| var browserify = require('browserify'); | |
| var reactify = require('reactify'); | |
| var watchify = require('watchify'); | |
| var notify = require("gulp-notify"); | |
| var scriptsDir = './scripts'; | |
| var buildDir = './build'; |
This file contains hidden or 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
| // PEG parser combinators | |
| const lookup = x => typeof x == 'string' ? eval(x) : x | |
| const match = (x, y, z) => x ? { c:y, v:z } : { e: true } | |
| const eof = s => match(s.length, 0, '') | |
| const char = s => match(s.length, 1, s[0]) | |
| const not = g => s => match(g(s).e, 0, '') | |
| const has = g => s => match(!g(s).e, 0, '') | |
| const oneof = t => s => match(t.indexOf(s[0]) >= 0, 1, s[0]) | |
| const lit = t => s => match(!s.indexOf(t), t.length, t) | |
| const option = g => choose(g, lit('')) |
This file contains hidden or 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
| (* Inlining for the λ-calculus, implemented in tagless final style. This seems | |
| * like it _must_ be related to Normalization By Evaluation (see eg [1,2]), | |
| * since they both amount to β-reduction (plus η-expansion in extensional NBE), | |
| * and the techniques have a similar "flavor", but I don't immediately see a | |
| * formal connection. | |
| * | |
| * [1] https://gist.github.com/rntz/f2f15f6cb4b8690c3599119225a57d33 | |
| * [2] http://homepages.inf.ed.ac.uk/slindley/nbe/nbe-cambridge2016.pdf | |
| *) |
This file contains hidden or 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
| /* | |
| * A java file to use in eclipse/MCP in order to authenticate with Minecraft's servers | |
| * This allows for modders to play online (legit servers) straight from eclipse -- streamlining the modding process | |
| * Works for MC 1.8.X | |
| * | |
| * To use: | |
| * 1) Place this .java file somewhere in your project | |
| * 2) in Minecraft.java | |
| * replace: | |
| this.sessionService = (new YggdrasilAuthenticationService(gameConfig.userInfo.proxy, UUID.randomUUID().toString())).createMinecraftSessionService(); |
This file contains hidden or 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
| /* | |
| * Hover over an element on the page | |
| */ | |
| (function() { | |
| "use strict"; | |
| var webdriver = require('selenium-webdriver'); | |
| var driver = new webdriver.Builder().usingServer().withCapabilities({'browserName': 'chrome' }).build(); |
This file contains hidden or 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/sh | |
| echo "mount" | |
| echo "s3fs [bucketname] [directory] -ouse_cache=/tmp -o allow_other" | |
| echo "unmount" | |
| echo "fusermount -u [directory]" | |
| #echo "pkill -9 -f s3fs" |
This file contains hidden or 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
| 'use strict'; | |
| // Generated on 2014-04-14 using generator-leaflet 0.0.14 | |
| var gulp = require('gulp'); | |
| var open = require('open'); | |
| var wiredep = require('wiredep').stream; | |
| // Load plugins | |
| var $ = require('gulp-load-plugins')(); |
This file contains hidden or 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
| import peg from "peggy-tag"; | |
| const PLACEHOLDER = "{{{ARG}}}"; | |
| const parse = peg` | |
| {{ | |
| function add(left, right) { | |
| if (typeof left === 'number') { | |
| if (typeof right === 'number') { | |
| return left + right; |
OlderNewer