Giters
Dimitur Krustev (dkrustev)

dkrustev

Geek Repo

13

followers

164

following

205

stars

Home Page:https://sites.google.com/site/dkrustev/

Github PK Tool:Github PK Tool

Dimitur Krustev's repositories

MRScpOptSize

Language:F#Stargazers:2Issues:1Issues:0

martin-lof

papers of Per Martin Löf

Language:TeXStargazers:1Issues:2Issues:0

coq-misc-essays

Language:CoqStargazers:0Issues:1Issues:0

diy-lang

A hands-on, test driven guide to implementing a simple programming language

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

j-bob

Language:SchemeLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

sc-mini

SC Mini is a "minimal" positive supercompiler

Language:HaskellStargazers:0Issues:1Issues:0

SimpleTreeExprTests

Finite Test Sets for a Class of Simple Programs on Binary Trees

Language:CoqStargazers:0Issues:1Issues:0

staged-mrsc-agda

Staged multi-result supercompilation (a model in Agda)

Language:AgdaStargazers:0Issues:2Issues:0