filipbartek

filipbartek.github.io

missls

A game for Ludum Dare 32

vampire-ml

Machine learning extensions for Vampire Theorem Prover

age-of-9

codejam2019

My solutions of Code Jam 2019 problems

ConfigSpace

ctuthesis

Dissertation thesis

cvut-presentation

dgl

Python package built to ease deep learning on graph, on top of existing DL frameworks.

nbspacer

Replaces spaces in HTML documents with   where appropriate

docs

TensorFlow documentation

europroofnet.github.io

Sources of the EuroProofNet web site.

fresh-resume-schema

A rational schema for your résumé or CV.

fresh-themes

Multiformat themes and skins for your technical résumé/CV.

GenericWrapper4AC

HackMyResume

Generate polished résumés and CVs in HTML, Markdown, LaTeX, MS Word, PDF, plain text, JSON, XML, YAML, smoke signal, and carrier pigeon.

learning-precedences-from-elementary-symbol-features

mgexercises

Megalodon exercises

minimum

neural-precedence-recommender

npfl122

NPFL122 repository

pacman-dfsm

DFSM analysis of Pac-Man

pgmpy

Python Library for learning (Structure and Parameter), inference (Probabilistic and Causal), and simulations in Bayesian Networks.

raytracing

Simple ray casting graphic engine

resume

My personal résumé

sacct_utils

SMAC3

Sequential Model-based Algorithm Configuration

vampire

The Vampire Theorem Prover

wg5-vienna24

yanpanlau.github.io

Free and open-source Jekyll theme