makcandrov

Joined on Jun, 2022•11 repositories

Pull Requests

43

Code Reviews

146

Top Repositories

#

Repository

Stars

Forks

Issues (open)

Contributors

1

makcandrov/meplang

26

1

1

-1

2

makcandrov/sdecode

6

0

0

-1

3

makcandrov/quick-impl

5

0

0

-1

4

makcandrov/revm-delegate

3

0

0

-1

5

makcandrov/enum-impl

3

0

0

-1

6

makcandrov/web3-simplified

2

0

0

-1

7

makcandrov/overf

2

0

0

-1

8

makcandrov/densest-subgraph-2approx

2

1

0

-1

9

makcandrov/alloy-unit-macros

2

0

0

-1

10

makcandrov/project-manager

1

0

0

-1

Activity Feed (latest 1)

pushed to main in makcandrov/sdecode

Jun 26, 2025, 1:23 PM