Lucie Svobodová's repositories

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlLicense:MITStargazers:4Issues:0Issues:0
Language:CStargazers:2Issues:0Issues:0
Language:CStargazers:1Issues:0Issues:0
Language:CStargazers:1Issues:0Issues:0
Language:VHDLStargazers:1Issues:0Issues:0

INP-project2

Vernam Cipher

Language:AssemblyStargazers:1Issues:0Issues:0
Language:PythonStargazers:1Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Language:PrologStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

IJC-project2

IJC 2020/2021 FIT VUT - Projekt 2

Language:CStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

IOS-project1

IOS 2020/21 FIT VUT - Projekt 1

Language:ShellStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:1Issues:0

SUI-project1

This project focuses on creating a set of search algorithms (BFS, DLS, and A*) and demonstrating their functionality in the game FreeCell.

Language:C++License:MITStargazers:0Issues:1Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0