Pinned Repositories
but-0ms-project
MATLAB script to calculate and display kinematic strings
but-baya-project
Inference in the Bayesian Latent Dirichlet Allocation (LDA) using Gibbs Sampling and Variational Bayes
but-bda-project
Modified ERC20 Token
but-bin-project
Using an evolutionary algorithm to find the desired initial configuration of Conway's Game Of Life
but-flp-project-1
Haskell app for converting Right Linear Grammars to Right Regular Grammars/NFSM
but-ija-project
A simulation of a warehouse with carts using pathfinding algorithms
but-ija-task01
A simple implementation of a system that represents shelfs for storing items
but-inc-project
Access Terminal in VHDL
but-inp-project-1
Řízení maticového displeje pomocí FPGA na platformě FITkit
but-izp-project-1
Jednoduchý textový editor
TomasBeranek's Repositories
TomasBeranek/but-ija-project
A simulation of a warehouse with carts using pathfinding algorithms
TomasBeranek/but-izp-project-1
Jednoduchý textový editor
TomasBeranek/but-0ms-project
MATLAB script to calculate and display kinematic strings
TomasBeranek/but-baya-project
Inference in the Bayesian Latent Dirichlet Allocation (LDA) using Gibbs Sampling and Variational Bayes
TomasBeranek/but-bda-project
Modified ERC20 Token
TomasBeranek/but-bin-project
Using an evolutionary algorithm to find the desired initial configuration of Conway's Game Of Life
TomasBeranek/but-flp-project-1
Haskell app for converting Right Linear Grammars to Right Regular Grammars/NFSM
TomasBeranek/but-ija-task01
A simple implementation of a system that represents shelfs for storing items
TomasBeranek/but-inc-project
Access Terminal in VHDL
TomasBeranek/but-inp-project-1
Řízení maticového displeje pomocí FPGA na platformě FITkit
TomasBeranek/but-ipp-project
Implementation of parser (php), interpreter (python) and testing framework (php) for code IPPcode20
TomasBeranek/but-prl-project-1
A simple SW implementation of Odd-even merge sort using OpenMPI
TomasBeranek/but-sfc-project
Shortest path search simulation using ACO (Ant Colony Optimization) algorithm
TomasBeranek/but-sur-project
Person detector based on facial images and voice recordings
TomasBeranek/csmock
A mock wrapper for Static Analysis tools
TomasBeranek/D2A
This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
TomasBeranek/infer-compiler-wrapper
A simple compiler wrapper for capturing source files for Facebook Infer
TomasBeranek/infer-wrapper-for-incremental-analysis
An Infer wrapper that corrects shortcomings in Infer's incremental analysis.
TomasBeranek/IP1_supplementary
Script for integrating static analysis tool Facebook Infer with version control system Git
TomasBeranek/IP2_supplementary
TomasBeranek/IRank
Master's Thesis - Evaluating Reliability of Static Analysis Results Using Machine Learning