Vitaly Bragilevsky (@bravit)
github

bravit

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    402
  • Global Rank 67,327 (Top 3 %)
  • Followers 465
  • Following 25
  • Registered almost 14 years ago
  • Most used languages
    Haskell
         53.8 %
    Idris     15.4 %
    Kotlin
         15.4 %
    TeX
         7.7 %
    Rust
         7.7 %
  • Location 🇨🇾 Cyprus
  • Country Total Rank 38
  • Country Ranking
    Haskell
         1
    Idris     1
    TeX
         4
    Rust
         7
    Kotlin
         30

Top repositories

1

hid-examples

Examples to accompany the book "Haskell in Depth"
Haskell
237
star
2

idris-cs-hse

«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
Idris
46
star
3

tt-ghc-exercises

Haskell
28
star
4

cv

TeX
18
star
5

generate_parentheses

Rust
16
star
6

bob19-tutorial-types

Haskell
12
star
7

csd-utwente

Certified Software Development with Dependent Types in Idris
Idris
8
star
8

unescaping-print

Haskell
6
star
9

containers-mini

Haskell
4
star
10

haskell-intro-2024

Haskell
2
star
11

fowler-refactoring-chap1

Kotlin
1
star
12

monadic-rpc

Haskell library for monadic structuring of distributed computations
Haskell
1
star
13

fowler-refactoring2-example

Kotlin
1
star