tomasberanek Goto Github PK

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-ipp-project

Implementation of parser (php), interpreter (python) and testing framework (php) for code IPPcode20

but-izp-project-1

Jednoduchý textový editor

but-prl-project-1

A simple SW implementation of Odd-even merge sort using OpenMPI

but-sfc-project

Shortest path search simulation using ACO (Ant Colony Optimization) algorithm

but-sur-project

Person detector based on facial images and voice recordings

csmock

A mock wrapper for Static Analysis tools

d2a

This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX

infer-compiler-wrapper

A simple compiler wrapper for capturing source files for Facebook Infer

infer-wrapper-for-incremental-analysis

An Infer wrapper that corrects shortcomings in Infer's incremental analysis.

ip1_supplementary

Script for integrating static analysis tool Facebook Infer with version control system Git

ip2_supplementary