Ekaterina Verbitskaia

@kajigor

Open GitHub

🇷🇸 Belgrade

JetBrains Research

Profile age: over 13 years

Updated 11 days ago

21 followers • 2 following

Contacts

kajigor@gmail.com

Repositories

uKanren_transformations

updated 6 months ago • age over 8 years

Haskell97.9%

OCaml1.0%

Makefile0.7%

Prolog0.5%

Shell0.0%

eltech_compilers

updated over 8 years ago • age over 8 years

OCaml82.2%

Makefile17.8%

fl_2020_itmo_spr

updated over 5 years ago • age over 5 years

fp-2022-jub-fall

updated almost 3 years ago • age about 3 years

geoculture

updated over 11 years ago • age over 11 years

JavaScript67.1%

C#24.7%

SQL4.5%

CSS3.8%

fl-2021-hse-win

updated about 4 years ago • age about 4 years

tex

updated 15 days ago • age about 5 years

TeX93.8%

BibTeX Style5.4%

Haskell0.4%

OCaml0.2%

Gnuplot0.2%

relational-interpreters

updated over 3 years ago • age almost 4 years

OCaml45.3%

Curry41.1%

Mercury7.7%

Haskell4.8%

Shell1.1%

fl_ifmo_2019_spr

updated over 6 years ago • age over 6 years

fl-2022-itmo-spr

updated over 3 years ago • age over 3 years

Contributions

2024
miniKanren_org-website
1 PR +3-0
HTML
11
30
tagless-minikanren
1 PR +202-2
Haskell
2
1
2023
replacewith
1 PR +159-120
Kotlin
0
1
2021
FormalLanguageConstrainedReachability-LectureNotes
3 PRs +2,303-2,847
TeX
4
10
jb-lab-proceedings
1 PR +0-0
TeX
1
22
2020
jb-lab-proceedings
1 PR +11,332-128
TeX
1
22
2019
OCanren
1 PR +6,665-0
OCaml
119
18
2
2017
jb-lab-proceedings
1 PR +543-4
TeX
1
22
uKanren_transformations
1 PR +2,426-325
Haskell
0
0
2016
ostap
2 PRs +541-87
TeX
5
9