Giters
Robert Konicar (Jezurko)

Jezurko

Geek Repo

10

followers

7

following

9

stars

Github PK Tool:Github PK Tool

Robert Konicar's starred repositories

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

Language:CLicense:MITStargazers:517Issues:0Issues:0

clangir

A new (MLIR based) high-level IR for clang.

Language:LLVMLicense:NOASSERTIONStargazers:355Issues:0Issues:0

vast-llvm-test-suite

LLVM Test suite extended to generate reports for VAST MLIR dialects

Language:LogosLicense:NOASSERTIONStargazers:1Issues:0Issues:0

aoc2023rust

Advent of Code 2023 solutions in Rust

Language:RustStargazers:2Issues:0Issues:0

advent-of-code

Language:GoStargazers:6Issues:0Issues:0

witch-klee

Witch-KLEE - A KLEE-based error witness checker

Language:ShellLicense:MITStargazers:5Issues:0Issues:0

LabCloud

Laboratorio di Cloud Computing e Sistemi Distribuiti a.a. 2018-19

Language:JavaStargazers:4Issues:0Issues:0

advent-of-code

Language:GoStargazers:4Issues:0Issues:0

vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

Language:C++License:Apache-2.0Stargazers:391Issues:0Issues:0