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
| /Applications/Xcode.app/Contents/Developer/usr/bin/make -C src opt | |
| cat files/META.in \ | |
| | sed s/%%CAMLZIPNAME%%// \ | |
| | sed s/%%NAME%%/ocsigenserver/g \ | |
| | sed s/%%DEPS%%/lwt.ssl,lwt.preemptive,ipaddr,netstring,netstring-pcre,findlib,cryptokit,tyxml,tyxml.parser,dynlink/g \ | |
| | sed s/%%BASEDEPS%%/lwt,ipaddr/g \ | |
| > files/META | |
| echo directory = \"../server\" > files/META.ocsigenserver | |
| cat files/META.in \ | |
| | sed s/%%CAMLZIPNAME%%// \ |
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
| <!-- -*- Mode: Xml -*- --> | |
| <!-- This file is intentionnaly very basic. See http://ocsigen.org/ocsigenserver/manual/config | |
| a more elaborate one, as well as for comments on the various options --> | |
| <!-- DO NOT MODIFY. This a generated file. | |
| Additional configurations sit in conf.d/ --> | |
| <ocsigen> | |
| <server> |
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
| mkdir -p local/var/run | |
| mkdir -p local/var/log | |
| mkdir -p local/var/lib | |
| mkdir -p local/tmp | |
| /Applications/Xcode.app/Contents/Developer/usr/bin/make -C tests opt | |
| for i in miniwiki testsuite distillery; do /Applications/Xcode.app/Contents/Developer/usr/bin/make -C $i clean; done | |
| ocamlbuild -use-ocamlfind -tag thread -package eliom.server -clean | |
| Finished, 0 targets (0 cached) in 00:00:00. | |
| 00:00:00 0 (0 ) STARTING -------- |rm -Rf _build | |
| for i in basic mobile; do rm -Rf distillery-$i clean; done |
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
| Ident foobar | |
| Ident A123Bfoo | |
| Op ++ | |
| Number 123 | |
| Ident Xbar | |
| Op / | |
| Ident foo | |
| EOF |
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
| let __sedlex_table_1 = | |
| "\001\001\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001" | |
| let __sedlex_table_2 = | |
| "\001\000\000\000\000\000\000\000\000\000\002\002\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\003\003\003\003\003\003\003\003\003\003\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004" | |
| let __sedlex_partition_2 = | |
| function | |
| | c -> | |
| if c <= 8 | |
| then (-1) | |
| else |
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
| /* | |
| $ /usr/bin/g++ -O2 -std=c++11 | |
| $ time ./a.out | |
| 0.52s user 0.00s system 99% cpu 0.525 total | |
| */ | |
| #include <regex> | |
| #include <string> | |
| #include <iostream> |
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
| // Generated by js_of_ocaml 2.5 | |
| (function(G){"use strict";var | |
| n=1024,k=128,d="",s=" : file already exists",a=248,y="/",z="fd ";function | |
| Q(a,b){throw[0,a,b]}function | |
| T(a,b){if(b.repeat)return b.repeat(a);var | |
| c=d,e=0;if(a==0)return c;for(;;){if(a&1)c+=b;a>>=1;if(a==0)return c;b+=b;e++;if(e==9)b.slice(0,1)}}function | |
| $(a,b,c){var | |
| e=new | |
| Array(c);for(var | |
| d=0;d<c;d++)e[d]=a[b+d];return e}function |
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
| let get_follower ~access_token ~screen_name ?(count=5000) ?(wait=true) () = | |
| let base_uri = "https://api.twitter.com/1.1/followers/ids.json" in | |
| let cursor = ref (-1) in | |
| let f g () = | |
| Client.do_get_request | |
| ~uri_parameters: | |
| ["screen_name", screen_name; | |
| "cursor", (string_of_int (!cursor)); | |
| "count", (string_of_int count)] | |
| ~uri:(Uri.of_string base_uri) |
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
| module Cars_in_a_row { | |
| input wire clk, | |
| output [9:0] width, // width, spacing and pos | |
| output [9:0] spacing, | |
| output [9:0] posy | |
| }; | |
| reg [9:0] posy_ = 0; | |
| reg [9:0] spacing_ = 300; | |
| reg [9:0] width_ = 200; |
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
| `timescale 1ns / 1ps | |
| ////////////////////////////////////////////////////////////////////////////////// | |
| // Company: | |
| // Engineer: | |
| // | |
| // Create Date: 13:16:52 05/19/2015 | |
| // Design Name: | |
| // Module Name: Square | |
| // Project Name: | |
| // Target Devices: |