Keybase proof

I hereby claim:

  • I am mgrabovsky on github.
  • I am eminentbaruch ( on keybase.
  • I have a public key ASCQIxloRY8jqCnnVYF9arV7TvxSa-HbktZMomECrUWNwAo

To claim this, I am signing this object:

View base.css
/*! normalize.css v3.0.2 | MIT License | */
html {
font-family: sans-serif;
-ms-text-size-adjust: 100%;
-webkit-text-size-adjust: 100%;
body { margin: 0; }

This is an incomplete list of tools that aid in detecting type errors in JavaScript and statically typed languages that compile to JavaScript.

  • Flow is a type checker with gradual typing capabilities, classes, parametric polymorphism with constraints (bounded polymorphism), function overloading, union and intersection types, and modules.

  • TypeScript is a typed superset of JavaScript (todo: which version? ES6/7?) backed by Microsoft.It features contextual typing, interfaces and classes, parametric polymorphism (generics with

View algebra.v
Require Import Coq.Setoids.Setoid.
(** * Magmas *)
Module Type magma.
(** Type of elements *)
Variable elt : Type.
(** The structure's binary operation *)
Variable op : elt -> elt -> elt.
Infix "*" := op (left associativity, at level 40).
View .block
license: gpl-3.0
View Makefile1
#:This list
?:;@for file in "Makefile $$(perl -lne 'print for m|^include\s+(.*)$$|g' Makefile)"; do \
perl -0777 -ne 'while (m/#:\s*(.*?)\n\.PHONY:\s*(.*?)\n/sg) { print "make $$2\t# $$1\n"; }' "$${file}"; \
done | sort -u | column -ts $$'\t'
# Source:
View Lambda.hs
module Lambda ( Term
, open
, varOpen
, varClose
, betaReduce
, subst
, freeVars
, freshIn
, isLocallyClosed
, isClosed
Copyright (c) 2011, Jason Davies
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
* Redistributions of source code must retain the above copyright notice, this
list of conditions and the following disclaimer.
* Redistributions in binary form must reproduce the above copyright notice,