Skip to content

Instantly share code, notes, and snippets.

Avatar

Second Datke secondwtq

  • Sichuan University
  • China
View GitHub Profile
View pass_type_check.ml
(* Implementation of Local Bidirectional Type Inference
* Based on:
* Jones, Simon L. Peyton, Dimitm.
*)
(*
* Tau Type - Monotype
* Rho Type - Tau | Sigma Sigma
* (the second form of Rho is absent in Rank-1 system)
View EGIU-guide.txt
Present & Past
the Matt question
Present perfect and past
the weather question
the camera question
the it ... raining question
the NY question
the I wasn't sure who she was question
Future
the coming to cinema with us question
View 271118.txt
This file has been truncated, but you can view the full file.
else_if = {
limit = {
check_variable = { sin_angle = 0.0001 }
}
set_temp_variable = { cos_angle = 0.9999 }
}
else_if = {
limit = {
check_variable = { sin_angle = 0.0002 }
View PCARS_AD_131118.md
View all_units.ml
open Printf
module IntSet = Set.Make(struct type t = int let compare = compare end)
let compute (base: int) (units: int list): IntSet.t =
printf "base: %d, (" base; List.iter (printf "%d, ") units; printf ")\n";
let rec f (digits: IntSet.t) (new_digits: IntSet.t) =
if IntSet.cardinal new_digits = 0
View mpd.conf
music_directory "~/Documents/music"
playlist_directory "~/Documents/music/playlists"
database {
plugin "simple"
path "/var/lib/mpd/db"
}
input {
View mopidy-qobuz.hsfiles
{-# START_FILE ./.gitignore #-}
.DS_Store
.idea
*.log
tmp/
*.py[cod]
*.egg
build
htmlcov
View lcars2.ll
using _ = Music#Classical
# problem: Type vs. Entry
type HumanStatus =
| Active
| Deceased
# optional property should be allowed in entry & type
entry #Human {
@secondwtq
secondwtq / proto_font.padd
Last active Apr 8, 2018
Prototyping PADD, the query interface for LCARS.
View proto_font.padd
using _ = personal#olive;
using _f = _#typography;
using _et = _#entityType;
ensure _et#typeface;
lhs isSimilarTo rhs = {
bidirectionalEdge <-similarTo> lhs rhs;
}
View gist:4c0a30047b9e994a1e14b23df19ba9ac

Overview

The StarCraft II API is an interface that provides full external control of StarCraft II.

This API exposes functionality for developing software for:

  • Scripted bots.
  • Machine-learning based bots.
  • Replay analysis.