Filip Bártek's repositories
vampire-ml
Machine learning extensions for Vampire Theorem Prover
codejam2019
My solutions of Code Jam 2019 problems
ctuthesis
Dissertation thesis
Language:TeXNOASSERTION000
europroofnet.github.io
Sources of the EuroProofNet web site.
000
fresh-resume-schema
A rational schema for your résumé or CV.
fresh-themes
Multiformat themes and skins for your technical résumé/CV.
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.
mgexercises
Megalodon exercises
pacman-dfsm
DFSM analysis of Pac-Man
pgmpy
Python Library for learning (Structure and Parameter), inference (Probabilistic and Causal), and simulations in Bayesian Networks.
Language:PythonMIT000
raytracing
Simple ray casting graphic engine
yanpanlau.github.io
Free and open-source Jekyll theme