Artem Pelenitsyn (@ulysses4ever)
github

ulysses4ever

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    114
  • Global Rank 189,057 (Top 7 %)
  • Followers 83
  • Following 28
  • Registered over 10 years ago
  • Most used languages
    Haskell
         25.0 %
    TeX
         25.0 %
    Julia
         18.8 %
    C++
         12.5 %
    Coq     6.3 %
    Shell
         6.3 %
    Idris     6.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 42,312
  • Country Ranking
    Idris     91
    Coq     102
    Julia
         265
    TeX
         549
    Haskell
         998

Top repositories

1

Monads.jl

Monadic expressions and sequences for Julia
Julia
32
star
2

formal-langs-textbook

TeX
24
star
3

pl-conf

Список конференций по языкам программирования (и связанное)
8
star
4

ulysses.mmcs.sfedu.ru

HomePage site
6
star
5

certif-sw-2014

Coq
5
star
6

rere

recursive regular expressions
Haskell
4
star
7

sfedu_umk

Латех-шаблон для УМК/РПД в Южном федеральном университете.
TeX
4
star
8

cpp-mv-poly

Multivariate polynomials and BMS-algorithm in C++
C++
2
star
9

thesis

TeX
2
star
10

csit-course-ids

2
star
11

noncomm-group-codes

Записки лекций по курсу «Коды на некоммутативных группах»
Shell
2
star
12

cs211-extra-task-1

C++
1
star
13

CS7600-Survey-Paper

TeX
1
star
14

adventofcode

Haskell
1
star
15

pl-sem-jr-2017-summer

Idris
1
star
16

cs6140-project

Haskell
1
star
17

BNFC-meta

Embed a BNF grammar into source ­— get the parser
Haskell
1
star
18

covid-19-in-russian-regions

Keeping track of COVID-19 cases in Russian regions daily
Julia
1
star
19

resurrect-julia-types

Turn name of a Julia type into corresponging type object. At scale
Julia
1
star