View index.md

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
.PHONY: ?
?:;@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: https://github.com/gtramontina/sourcing/blob/023cae5/Makefile#L68-L72
View Lambda.hs
module Lambda ( Term
, open
, varOpen
, varClose
, betaReduce
, subst
, freeVars
, freshIn
, isLocallyClosed
, isClosed
View LOESS-LICENCE
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,
View gist:8470b866936e073ca32f
  1. Vlach, M.: Základní numerické metody (1971)
  2. Kohout, V.: Diferenciální geometrie (1971)
  3. Havrda, J.: Matematické programování (1972?)
  4. Kufner, A.: Geometrie Hilbertova prostoru (1973, 1975?)
  5. Beran, L.: Grupy a svazy (1974)
  6. Vlach, M.: Optimální řízení regulovatelných systémů (1975?)
  7. Ježek, J.: Univerzální algebra a teorie modelů (1976?)
  8. ???
  9. Boček, L.: Tenzorový počet (1976)
  10. Pondělíček, B.: Algebraické struktury s binárními operacemi (1977)
View gist:1b208be1b7c775982b55
(set-option :produce-proofs true)
(declare-datatypes ()
((Pair (mk-pair (row Int) (col Int)))))
; Definice relace:
; X a Y nesedí ve stejné řadě, nebo nejsou hned vedle sebe"
; nebo "Y sedí jednu řadu před X (tj. není mezi nimi další řada)".
(define-fun rel ((x Pair) (y Pair)) Bool
(or (not (= (row x) (row y)))
View gist:cbcc9c1fc81f371716f5
gcc -v --help 2>&1 | awk '/-W/ && !/=/ && !/[oO]ptions/ && !/larger-than/ { print $1 }'
View respekt-prepare.sh
for %i in (input/*.mp3) do @ffmpeg -i "input/%i" -filter:a "atempo=1.33" -vn "%i"