Pavol Vargovčík (@p4l1ly)
github

p4l1ly

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Registered about 10 years ago
  • Most used languages
    Rust
         33.3 %
    Python
         33.3 %
    Haskell
         33.3 %
  • Location 🇸🇰 Slovakia
  • Country Total Rank 1,207
  • Country Ranking
    Haskell
         8
    Rust
         40
    Python
         350

Top repositories

1

z3-rust

High level bindings for the Microsoft's Z3 SMT solver.
Rust
1
star
2

python-udevadm-monitor

launch udevadm monitor process and yield information about devices added and removed by udev
Python
1
star
3

shared-formula

simplification of boolean formulae: hash consing, boolean laws
Haskell
1
star