Pinned Loading

1. DiplomovaPrace DiplomovaPrace Public

   Zdrojáky mojí DP

   TeX

2. jachymb.github.io jachymb.github.io Public

   Jupyter Notebook

3. lights-out lights-out Public

   Minimalistic, declarative lights out problem solver

4. quantum-computer quantum-computer Public

   Simple quantum computing emulation framework

   Python

5. math math Public

   Forked from stan-dev/math

   The Stan Math Library is a C++ template library for automatic differentiation of any order using forward, reverse, and mixed modes. It includes a range of built-in functions for probabilistic model…

   C++

6. plp_expressivity plp_expressivity Public

   Experimental scripts for studying the expressivity of various Probabilistic Logic Program classes

   Mathematica