Discover @radrow Open Source projects

Radosław Rowicki (@radrow)

radrow

Stars
25
Global Rank 556,620 (Top 20 %)
Followers 63
Following 38
Registered almost 7 years ago
Most used languages

Haskell
50.0 %

Coq 20.0 %

TeX
10.0 %

Scala
10.0 %

Erlang
10.0 %
Location 🇵🇱 Poland
Country Total Rank 4,839
Country Ranking

Coq 3

Haskell
26

Erlang
43

TeX
160

Scala
345

aerepl

REPL for Sophia language

i3hloc

Flexible scheduler for i3bar

radlang

A functional programming language intepreter with typeclasses, full type inference and lazy evaluation

masters-thesis

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

pacMAN

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

tftp-client-coq

TFTP client written and partially proven in Coq and OCaml

blockchain-toy

Simple blockchain implementation in Haskell

FixMe-server

fizzbuzz-coq

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

instant-compiler

Simple calculator compiler for JVM and LLVM created as an assessment for MIMUW course

Tiny-Semantics

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