Radosław Rowicki (@radrow)
github

radrow

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    25
  • Global Rank 552,821 (Top 20 %)
  • Followers 63
  • Following 38
  • Registered over 6 years ago
  • Most used languages
    Haskell
         50.0 %
    Coq     20.0 %
    Erlang
         10.0 %
    TeX
         10.0 %
    Scala
         10.0 %
  • Location 🇵🇱 Poland
  • Country Total Rank 4,839
  • Country Ranking
    Coq     3
    Haskell
         26
    Erlang
         43
    TeX
         136
    Scala
         318

Top repositories

1

aerepl

REPL for Sophia language
Erlang
5
star
2

i3hloc

Flexible scheduler for i3bar
Haskell
4
star
3

radlang

A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
Haskell
3
star
4

masters-thesis

Liquid types for verification of smart contracts --- my master's thesis in computer science
TeX
2
star
5

pacMAN

Shorted cheatscheet of pacman's manpage and arch wiki. Collection of most useful things in my opinion
2
star
6

tftp-client-coq

TFTP client written and partially proven in Coq and OCaml
Coq
2
star
7

blockchain-toy

Simple blockchain implementation in Haskell
Haskell
2
star
8

FixMe-server

Scala
1
star
9

fizzbuzz-coq

The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
Coq
1
star
10

instant-compiler

Simple calculator compiler for JVM and LLVM created as an assessment for MIMUW course
Haskell
1
star
11

Tiny-Semantics

Task for Semantics and Programs Verification course at MIMUW – denotational semantics of extended Tiny programming language in continuational style
Haskell
1
star