Giters
Andrey Vjatkin (andrey-vyatkin)

andrey-vyatkin

Geek Repo

3

followers

6

following

25

stars

Location:St. Petersburg

Github PK Tool:Github PK Tool

Andrey Vjatkin's repositories

apltail

APL Compiler targeting a typed array intermediate language

Language:Standard MLLicense:MITStargazers:0Issues:2Issues:0

case-212

Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»

Language:PythonStargazers:0Issues:0Issues:0

OCanren

Statically typed embedding of miniKanren relational programming language into Objective Caml

Language:TeXStargazers:0Issues:0Issues:0

phil_asp

Stargazers:0Issues:0Issues:0

probabilistic-programming-workout

A workout on probabilistic programming language

Language:OCamlStargazers:0Issues:0Issues:0

prolog_wam

Language:PrologStargazers:0Issues:1Issues:0

WinterSchool2017notes

Language:TeXStargazers:0Issues:1Issues:0