Sergei Romanenko (@sergei-romanenko)
github

sergei-romanenko

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    139
  • Global Rank 162,945 (Top 6 %)
  • Followers 60
  • Following 27
  • Registered over 14 years ago
  • Most used languages
    Agda     47.6 %
    Scala
         28.6 %
    Idris     19.0 %
    Scheme
         4.8 %
  • Location πŸ‡·πŸ‡Ί Russia
  • Country Total Rank 1,808
  • Country Ranking
    Agda     1
    Idris     3
    Scheme
         9
    Scala
         12

Top repositories

1

spsc

SPSC: A Small Positive Supercompiler
Scala
32
star
2

agda-simple-scp

A simple supercompiler formally verified in Agda
Agda
28
star
3

staged-mrsc-agda

Staged multi-result supercompilation (a model in Agda)
Agda
12
star
4

agda-samples

A collection of samples in Agda
Agda
10
star
5

spsc-scala

A Small Positive Supercompiler in Scala
Scala
6
star
6

agda-miscellanea

Experiments with Agda
Agda
5
star
7

agda-Ramsey-theorem

Intuitionistic Ramsey theorem (a proof in Agda)
Agda
5
star
8

unmix

A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code.
Scheme
4
star
9

agda-almost-full

Almost-full relations: an Agda version for "Stop when you are almost-full"
Agda
4
star
10

spsc-idris

A Small Positive Supercompiler in Idris
Idris
3
star
11

chapman-big-step-normalization

Big-step normalization (formalized in Agda)
Agda
3
star
12

spinalhdl-samples

Some experiments with SpinalHDL
Scala
3
star
13

sat4j-experiments

Experiments with Sat4j.
Scala
2
star
14

mrsc-trs

Domain-specific supercompilation for transition systems (based on the MRSC toolkit).
Scala
2
star
15

agda-Higman-lemma

Constructive proofs of Higman’s lemma formalized in Agda
Agda
2
star
16

mrsct

A variation of mrsc based on traits + self-types
Scala
2
star
17

scp-notes-ru

Notes on supercompilation (in Russian). The sources for the site
2
star
18

idris-samples

A collection of samples in Idris
Idris
2
star
19

idris-norm-by-traversals

Traversal-based normalization for ULC
Idris
2
star
20

chapman-normalization-delay-monad

Normalization by evaluation in the delay monad (formalized in Agda)
Agda
1
star
21

sergei-romanenko.github.io

The sources for the site
1
star
22

agda-hsubst-revised

Hereditary substitutions for simple types (revised)
1
star
23

agda-normalization

Normalization by evaluation and big-step normalization formalized in Agda
Agda
1
star
24

staged-mrsc-idris2

Staged multi-result supercompilation (in Idris2)
Idris
1
star