Stefan Radziuk (@stefanradziuk)
github

stefanradziuk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,415,336 (Top 50 %)
  • Followers 45
  • Following 62
  • Registered about 10 years ago
  • Most used languages
    Python
         50.0 %
    Scala
         25.0 %
    Lua
         25.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 40,697
  • Country Ranking
    Scala
         713
    Lua
         1,152

Top repositories

1

naturalDeduction

Scala tool for representation and verification of natural deduction proofs
Scala
2
star
2

my-dots

shell scripts and dotfiles for a minimal linux setup
Lua
1
star
3

advent-of-code

Python
1
star
4

population_simulator

population_simulator
Python
1
star