| module Printf | |
| %default total | |
| data Format = FInt Format -- %d | |
| | FString Format -- %s | |
| | FOther Char Format -- [a-zA-Z0-9] | |
| | FEnd -- | |
| format : List Char -> Format |
by Keith Rosenberg (netpoetica)
Note: do this in some sort of project/ directory that makes sense. depot_tools are going to need to be in your path, so you may want to install them somewhere you are comfortable with.
git clone https://github.com/v8/v8.git
| // Part of https://github.com/chris-rock/node-crypto-examples | |
| // Nodejs encryption of buffers | |
| var crypto = require('crypto'), | |
| algorithm = 'aes-256-ctr', | |
| password = 'd6F3Efeq'; | |
| var fs = require('fs'); | |
| var zlib = require('zlib'); |
| ## Some useful and/or interesting Julia macros. I haven't seen many | |
| ## examples online, so I hope this might be useful for people trying | |
| ## to understand macros. Caveat Emptor; I don't understand them that | |
| ## well myself. Additions and improvements are more than welcome. | |
| ## | |
| ## Everything here is available under the MIT license (see bottom of | |
| ## file) | |
| ## | |
| ## - Gray Calhoun (@grayclhn) 10/17/2014 |
| #!/usr/bin/perl | |
| use strict; | |
| open(GROSZ, ">>", "test-uml\xE4\xFCt\xDF-file.txt"); | |
| close(GROSZ); |
| * { | |
| font-size: 12pt; | |
| font-family: monospace; | |
| font-weight: normal; | |
| font-style: normal; | |
| text-decoration: none; | |
| color: black; | |
| cursor: default; | |
| } |
| Require Import Coq.Setoids.Setoid. | |
| Require Import Arith. | |
| Notation "`Begin p" := p (at level 20, right associativity). | |
| Notation "a =] p ] pr" := (@eq_trans _ a _ _ p pr) (at level 30, right associativity). | |
| Notation "a =[ p [ pr" := (@eq_trans _ a _ _ (eq_sym p) pr) (at level 30, right associativity). | |
| Notation "a `End" := (@eq_refl _ a) (at level 10). | |
| Definition times2 : forall n, n + n = 2 * n := fun n => | |
| `Begin |
| import numpy as np | |
| import matplotlib.pyplot as plt | |
| from matplotlib.colors import ListedColormap | |
| from sklearn.cross_validation import train_test_split | |
| from sklearn.preprocessing import StandardScaler | |
| from sklearn.datasets import make_moons, make_circles, make_classification | |
| from sklearn.svm import SVC | |
| h = .02 # step size in the mesh |
| skinparam Activity { | |
| ArrowColor | |
| ArrowFontColor | |
| ArrowFontName | |
| ArrowFontSize | |
| ArrowFontStyle | |
| BackgroundColor | |
| BarColor | |
| BorderColor | |
| BorderThickness |
