Skip to content

Instantly share code, notes, and snippets.

View ajar's full-sized avatar
❤️

Aaron Artille ajar

❤️
43 followers · 58 following
View GitHub Profile
@ajar
ajar / designer.html
Last active August 29, 2015 14:06
designer
<link rel="import" href="../notification-elements/notification-alert.html">
<link rel="import" href="../paper-tabs/paper-tabs.html">
<link rel="import" href="../paper-tabs/paper-tab.html">
<link rel="import" href="../core-drawer-panel/core-drawer-panel.html">
<polymer-element name="my-element">
<template>
<style>
:host {
@ajar
ajar / designer.html
Last active August 29, 2015 14:06
designer
<link rel="import" href="../paper-checkbox/paper-checkbox.html">
<link rel="import" href="../paper-slider/paper-slider.html">
<link rel="import" href="../paper-input/paper-input.html">
<link rel="import" href="../paper-radio-group/paper-radio-group.html">
<link rel="import" href="../paper-radio-button/paper-radio-button.html">
<link rel="import" href="../paper-tabs/paper-tabs.html">
<link rel="import" href="../paper-tabs/paper-tab.html">
<link rel="import" href="../core-icons/core-icons.html">
<link rel="import" href="../paper-icon-button/paper-icon-button.html">
<link rel="import" href="../paper-item/paper-item.html">
@ajar
ajar / keybase.md
Created April 5, 2015 18:04

Keybase proof

I hereby claim:

  • I am aaron-artille on github.
  • I am ajar (https://keybase.io/ajar) on keybase.
  • I have a public key whose fingerprint is DC32 49DF B43D B726 D7DA A144 C8FF 3BB0 1EAD 678F

To claim this, I am signing this object:

@ajar
ajar / keybase.md
Created April 10, 2015 13:03

Keybase proof

I hereby claim:

  • I am aaron-artille on github.
  • I am ajar (https://keybase.io/ajar) on keybase.
  • I have a public key whose fingerprint is 8F79 7198 FF74 D8F1 2A9F 992D 5AAE BB42 66E6 8978

To claim this, I am signing this object:

@ajar
ajar / gist:0db6e2ca6e873831cb09
Last active August 29, 2015 14:21
: Person :: Schema :
! Name :: Schema :
! Given "Given Name" :: String
. /^[A-Za-z\- ']$/
. {1, 20}
! Family "Family Name" :: String
. /^[A-Za-z\- ']$/
. {1, 20}
;
! DOB "Date of Birth" :: Time
@ajar
ajar / index.js
Created May 19, 2015 08:48
requirebin sketch
// require() some stuff from npm (like you were using browserify)
// and then hit Run Code to run it on the right
var m = require("mithril");
var t = require("tcomb");
t.Title = t.subtype(t.Str, function(x) {
return /^[A-Za-z \-\(\)\[\]']{10,50}$/.test(x);
});
t.Product = t.subtype(t.struct({
"title": t.Title
@ajar
ajar / index.js
Last active August 29, 2015 14:21
requirebin sketch
// require() some stuff from npm (like you were using browserify)
// and then hit Run Code to run it on the right
var m = require("mithril");
var t = require("tcomb");
t.Title = t.subtype(t.Str, function(x) {
return /^[A-Za-z \-\(\)\[\]']{10,50}$/.test(x);
});
t.Description = t.subtype(t.Str, function(x) {
return /^.{0,300}$/.test(x);
@ajar
ajar / a.html
Last active August 29, 2015 14:21 — forked from mbostock/.block
<!DOCTYPE html>
<html>
<body>
<div id="main">
<ul>
<li><b>Anteater</b></li>
<li><a href="b.html">Baobao</a></li>
<li><a href="c.html">Cuttlefish</a></li>
</ul>
Anteaters, also known as antbear, are the four mammal species of the suborder Vermilingua (meaning "worm tongue") commonly known for eating ants and termites. Together with the sloths, they compose the order Pilosa. The name "anteater" is also colloquially applied to the unrelated aardvark, numbat, echidna, and pangolin.
@ajar
ajar / index.js
Last active August 29, 2015 14:21
requirebin sketch
require("triplesec");
@ajar
ajar / gist:efe2fe7eda2ec9f759e1
Last active August 29, 2015 14:21
Dimensional Type Inference
Quantity = Number.
Magnitude = (abs Quantity) (_|Prefix).
Dimension ? (Magnitude /= 1) = Magnitude (plural Unit).
Dimension = Quantity Unit.
Length = Quantity meter.
Volume = Quantity liter = Length^3.
Mass = Magnitude gram.
Force = Magnitude newton.
Duration = Magnitude second.
Frequency = Magnitude hertz = Magnitude/Duration.