Henrich Lauko (@xlauko)
github

xlauko

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    34
  • Global Rank 448,285 (Top 16 %)
  • Followers 46
  • Following 45
  • Registered almost 11 years ago
  • Most used languages
    C++
         50.0 %
    TeX
         25.0 %
    Go
         12.5 %
    CodeQL     12.5 %
  • Location πŸ‡¨πŸ‡Ώ Czechia
  • Country Total Rank 1,781
  • Country Ranking
    CodeQL     1
    TeX
         49
    Go
         122
    C++
         184

Top repositories

1

lart

LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
C++
18
star
2

advent-of-code

Go
6
star
3

diploma-thesis

TeX
5
star
4

thesis-proposal

TeX
1
star
5

pv021_project

C++
1
star
6

codeql-uboot

CodeQL
1
star
7

pb173_project

C++
1
star
8

miller

VAST MLIR Abstract Interpreter
C++
1
star