Participates in
46
ProjectsOwner of
24
ProjectsParticipates in
0
PortfoliosOwner of
0
Portfolios- 18:12 [+03:00 Moscow]
- Russian Federation
Sergei Romanenko's public projects
A Simple Supercompiler
A simple supercompiler written in Scala and other languages.
agda-krivine-machine
Experiments with the code accompanying "From Math to Machine: A formal derivation of an executable Krivine machine" by Wouter Swierstra.