- Prague, Czech Republic
- https://linksta.cc/@filip.bartek
- https://orcid.org/0000-0002-1822-2651
Highlights
- Pro
Block or Report
Block or report filipbartek
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
pgmpy Public
Forked from pgmpy/pgmpyPython Library for learning (Structure and Parameter), inference (Probabilistic and Causal), and simulations in Bayesian Networks.
Python MIT License UpdatedJul 27, 2023 -
vampire-ml Public
Machine learning extensions for Vampire Theorem Prover
-
europroofnet.github.io Public
Forked from EuroProofNet/europroofnet.github.ioSources of the EuroProofNet web site.
Ruby UpdatedApr 18, 2023 -
-
vampire Public
Forked from vprover/vampireThe Vampire Theorem Prover
C++ Other UpdatedMar 19, 2023 -
-
-
-
-
SMAC3 Public
Forked from automl/SMAC3Sequential Model-based Algorithm Configuration
Python Other UpdatedJan 25, 2022 -
GenericWrapper4AC Public
Forked from automl/GenericWrapper4ACC++ BSD 2-Clause "Simplified" License UpdatedOct 26, 2021 -
-
-
-
Python package built to ease deep learning on graph, on top of existing DL frameworks.
Python Apache License 2.0 UpdatedJan 14, 2021 -
TeX Updated
Nov 4, 2020 -
-
npfl122 Public archive
Forked from petrroll/npfl122NPFL122 repository
Python Other UpdatedJan 28, 2020 -
docs Public
Forked from tensorflow/docsTensorFlow documentation
Jupyter Notebook Apache License 2.0 UpdatedJan 27, 2020 -
yanpanlau.github.io Public
Forked from yanpanlau/yanpanlau.github.ioFree and open-source Jekyll theme
HTML MIT License UpdatedJan 7, 2020 -
-
fresh-themes Public
Forked from fresh-standard/fresh-themesMultiformat themes and skins for your technical résumé/CV.
TeX MIT License UpdatedMay 8, 2019 -
-
fresh-resume-schema Public
Forked from fresh-standard/fresh-resume-schemaA rational schema for your résumé or CV.
MIT License UpdatedFeb 10, 2019 -
nbspacer Public
Replaces spaces in HTML documents with where appropriate
Python UpdatedFeb 7, 2019 -
HackMyResume Public
Forked from hacksalot/HackMyResumeGenerate polished résumés and CVs in HTML, Markdown, LaTeX, MS Word, PDF, plain text, JSON, XML, YAML, smoke signal, and carrier pigeon.
JavaScript MIT License UpdatedFeb 6, 2019 -
missls Public
A game for Ludum Dare 32
-