User picture

Sergei Romanenkosergei-romanenko

Participates in

46

Projects

Owner of

24

Projects

Participates in

0

Portfolios

Owner of

0

Portfolios
  • 04:51 [+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.

keldysh-preprint-a5-10pt

mrsc-producers

Home / Developer API / Support Portal / System Status

Copyright © 2006-2023 by Assembla, Inc. / Phone 1-781-810-8222 / E-mail: support@assembla.com