jiriklepl Goto Github PK

gitignore

A collection of useful .gitignore templates

glucose-syrup-4.1-deb

The Glucose SAT Solver

hypermapper-test

hyperopt-test

ica3pp2023-artifact

Replication package containing code and experimental results related to the ICA3PP 2023 paper titled: Pure C++ Approach to Optimized Parallel Traversal of Regular Data Structures

iml-2019

imw-2019

Solutions to assignments for Introduction to Middleware - NSWI163

jiriklepl

Config files for my GitHub profile.

jiriklepl.github.io

kerneltuner-test

kmeans-gen

language-chm

Modified version parsing CHM

light-polybar-windows

A fast polybar script that shows opened windows on your current display. Click on window titles to switch between windows.

lingeling-deb

Lingeling SAT Solver

llvm-hs

Haskell bindings for LLVM

llvm-hs-pretty

Pretty printer for LLVM AST to Textual IR

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

masters-thesis-code

This is a supplementary repository for my master's thesis

masters-thesis-text

This is the repository for the master's thesis text side

mathdown

Tool for easy'n'fast mathematical markdown

mff-haskell-2019

Solutions to assignments for Programming in Haskell - NPRG068

mff-stuff

#SharingIsCaring #CaringIsSharing

mlaskal-2019

Solutions to assignments for Compiler Principles - NSWI098

more-chaos

mpp

Some things that may come in handy when doing metaprogramming in C++

nitro-test

noarr-pipelines

Library that helps programmers with repetitive tasks of setting up computational pipelines for GPGPU CUDA programming.

noarr-structures

Noarr structures is a header-only library that facilitates creation of many data structures and provides a layout-agnostic way of accessing the values stored in them.

noarr-tokenizer

noarr-vs-the-world