Vitaly Bragilevsky (@bravit)
github

bravit

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    427
  • Global Rank 66,346 (Top 3 %)
  • Followers 478
  • Following 25
  • Registered over 14 years ago
  • Most used languages
    Haskell
         50.0 %
    Kotlin
         14.3 %
    Idris     14.3 %
    Rust
         7.1 %
    TeX
         7.1 %
    C++
         7.1 %
  • Location 🇨🇾 Cyprus
  • Country Total Rank 38
  • Country Ranking
    Haskell
         1
    Idris     1
    TeX
         4
    Rust
         6
    Kotlin
         27
    C++
         43

Top repositories

1

hid-examples

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

idris-cs-hse

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

tt-ghc-exercises

Haskell
28
star
4

cv

TeX
19
star
5

generate_parentheses

Rust
19
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

distributed-calculator

C++
6
star
10

containers-mini

Haskell
4
star
11

haskell-intro-2024

Haskell
2
star
12

monadic-rpc

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

fowler-refactoring-chap1

Kotlin
1
star
14

fowler-refactoring2-example

Kotlin
1
star