Skip to content

Instantly share code, notes, and snippets.

View tarao's full-sized avatar

INA Lintaro tarao

132 followers · 28 following
View GitHub Profile
@tarao
tarao / README.md
Last active June 14, 2021 05:33

OSS貢献を出力するワークフロー

  • issueを立てるとtarao/oss-contributionsを実行
    • issueタイトルにはfrom=YYYY-MM-DDとto=YYYY-MM-DDを含むこと
    • issueのラベルにoss-contributionsをつけること
  • パラメータ
    • ORGANIZATION : ターゲットとなるOrganization
    • GITHUB_TOKEN : issueコメントをするためのトークン
  • OPEN_ACCESS_GITHUB_TOKEN : OSS貢献の情報を取得するためのトークン(内部情報引けないものが望ましい)
@tarao
tarao / Dockerfile
Last active April 21, 2021 21:23
Octave in a docker container
FROM debian:jessie
RUN apt-get update && apt-get install -yq less sudo octave && apt-get clean
COPY entrypoint.sh /
ENTRYPOINT [ "/entrypoint.sh" ]
@tarao
tarao / hatena-contributions.all.md
Last active August 5, 2020 05:34
@tarao
tarao / maven-diff-url.sh
Last active July 13, 2020 04:46
#!/bin/sh
set -e
artifact="$1"
old="$2"
new="$3"
namespace="$(echo "$artifact" | cut -f 1 -d :)"
id="$(echo "$artifact" | cut -f 2 -d :)"
@tarao
tarao / index.js
Created April 8, 2020 12:28
var LambdaJS = require('./lambda');
var PrettyPrinter = {
pp: function(exp) {
return LambdaJS.Util.promote(exp).pp(this);
},
ppApp: function(app) {
return '(' + this.pp(app.fun) + ' ' + this.pp(app.arg) + ')';
},
ppAbs: function(abs) {
@tarao
tarao / Instance.scala
Last active February 10, 2020 11:29
Category-theoretic universal product representation
import product2.|*|
package object instance {
implicit val instanceProduct2: universal.Product2[|*|] =
new universal.Product2[|*|] {
override def p1[A, B](p: A |*| B): A = product2.π1(p)
override def p2[A, B](p: A |*| B): B = product2.π2(p)
override def mediate[A, B, C](implicit
wedge: universal.Wedge[C, A, B]
@tarao
tarao / genealogy.yaml
Created January 20, 2020 07:47
Lintaro Ina:
Masahiko Sato:
Satoru Takasu:
Shokichi Iyanaga:
Teiji Takagi:
David Hilbert:
C. L. Ferdinand (Carl Louis) Lindemann:
C. Felix (Christian) Klein:
Julius Plücker:
Christian Ludwig Gerling:
@tarao
tarao / Extensible.pm
Created October 29, 2019 15:15
package Class::Extensible;
use strict;
use warnings;
use Class::Load qw(load_class);
use Class::Mix qw(mix_class);
use List::MoreUtils qw(uniq);
my $Stash = '_EXTENDED_WITH';
@tarao
tarao / lambda.cpp
Created November 1, 2011 07:47
Lambda calculus with type inference in C++ template
namespace lambda {
////////////////////////////////////////////////
// Lambda term
namespace term {
template<char c> struct var {};
template<typename N, typename M> struct app {};
template<char v, typename M> struct abs {};
@tarao
tarao / ensime.sbt
Created June 29, 2019 05:18
ensimeScalacOptions ++= List("-Ymacro-expand:normal")