xlauko/diploma-thesis xlauko/diploma-thesis

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TeX
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xlauko/diploma-thesis
github

xlauko

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

thesis-proposal

TeX
1
star
4

pv021_project

C++
1
star
5

codeql-uboot

CodeQL
1
star
6

pb173_project

C++
1
star
7

miller

VAST MLIR Abstract Interpreter
C++
1
star