Maxim Churilov

Repositories

Contributions

1. 2024
   symbolic

   1 PR +244-0

   Haskell

   21

   9

   zkfold-cardano

   1 PR +528-400

   Haskell

   8

   2
2. 2023
   VeHaContest2023

   1 PR +86-0

   Promela

   1

   16

   LN_translation

   ~7 PRs +207-207

   TeX

   0

   4
3. 2022
   iris

   ~9 PRs +112-26

   Haskell

   197

   22

   2

   foundry

   1 PR +1-1

   Haskell

   29

   2

   magus

   1 PR +127-2

   Haskell

   25

   2