Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with vut-fit
A curated list of projects in awesome lists tagged with vut-fit .
https://github.com/harmim/vut-dip
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
abstract-interpretation atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp facebook facebook-infer java master-thesis ocaml program-analysis static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
abstract-interpretation atomicity atomicity-violation bachelor-thesis concurrency facebook facebook-infer ocaml program-analysis static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/xstupi00/IFJ2017
Implementation compiler of imperative language IFJ17.
c compiler ifj17 lexical-analysis semantic-analysis syntactic-analysis vut vut-fit
Last synced: 23 Oct 2024
https://github.com/harmim/vut-pp1
Project Practice 1 - Atomer: Atomicity Violations Analyser
abstract-interpretation atomicity atomicity-violation concurrency facebook facebook-infer ocaml program-analysis project project-practice static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-mba-projects
Analýza systémů založená na modelech - Projekty
ce-systems markov-chain markov-decision-processes mba model-based-analysis petri-nets timed-automata vut vut-fit
Last synced: 13 Dec 2024
https://github.com/xstupi00/DNS-Export
Network Applications and Network Administration - Project - Export of DNS information using Syslog protocol
c dns dns-server isa network-analysis syslog vut vut-fit
Last synced: 12 Nov 2024
https://github.com/harmim/vut-sui-homework
Umělá inteligence a strojové učení - Domácí úloha
artificial-intelligence classification gaussian-distribution logistic-regression machine-learning matplotlib numpy nuralnetwork python scipy sui torch vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-ims-project
Modelování a simulace - Projekt - Rozvoz jídla firmou Freshbox
cpp ims modeling simlib simulation vut vut-fit
Last synced: 13 Dec 2024
https://github.com/RichardKlem/BIN_EA_pruning
BIN - DNN pruning by evolutionary algorithm
evolutionary-algorithms fit fit-vut fit-vutbr fit-vutbr-cz fitvut mnist optimization pruning vut vut-fit vutfit
Last synced: 23 Oct 2024
https://github.com/xstupi00/Odd-Even-Transposition-Sort
Parallel and Distributed Algorithms - Project - Odd-Even Transposition Sort
cpp distributed-computing odd-even-sort openmpi parallel-algorithm parallel-programming prl sorting-algorithms vut vut-fit
Last synced: 23 Oct 2024
https://github.com/xstupi00/Hospital-IS
A hospital information system (HIS)
hospital iis information-systems php7 vut vut-fit
Last synced: 23 Oct 2024
https://github.com/MWarCZ/FIT-VUT
Sbírka části mého studia na FIT VUT. (Školní projekty, hodnocení, kódy, zadání)
Last synced: 23 Oct 2024
https://github.com/TomasBeranek/but-prl-project-1
A simple SW implementation of Odd-even merge sort using OpenMPI
but but-fit fit odd-even-merge-sort openmpi vut vut-fit
Last synced: 23 Oct 2024
https://github.com/TomasBeranek/but-baya-project
Inference in the Bayesian Latent Dirichlet Allocation (LDA) using Gibbs Sampling and Variational Bayes
baya bayesian-inference but but-fit fit gibbs-sampling latent-dirichlet-allocation lda lda-model variational-bayes vut vut-fit
Last synced: 23 Oct 2024
https://github.com/TomasBeranek/but-flp-project-1
Haskell app for converting Right Linear Grammars to Right Regular Grammars/NFSM
but but-fit fit fsm haskell nfsm rlg rlg-to-nfsm rlg-to-rrg vut vut-fit
Last synced: 23 Oct 2024
https://github.com/TomasBeranek/but-izp-project-1
Jednoduchý textový editor
but-fit editor fit izp izp1 text-editor vut vut-fit
Last synced: 23 Oct 2024
https://github.com/TomasBeranek/but-ija-project
A simulation of a warehouse with carts using pathfinding algorithms
ant but but-fit floyd-warshall-algorithm ija ija-project java java8 javafx pathfinding pathfinding-algorithm pathfinding-algorithms simulation vut vut-fit
Last synced: 23 Oct 2024
https://github.com/xstupi00/N-Body-CUDA
PCG - Parallel Computations on GPU - Project - N-Body-CUDA
cuda gpu-acceleration gpu-computing nbody-simulation optimization parallel-computing pcg vut vut-fit
Last synced: 23 Oct 2024
https://github.com/xstupi00/Dairy-Factory
Modelling and Simulation of Developing Process of Milk in Dairy Factory
cpp ims modelling simlib simulation vut vut-fit
Last synced: 23 Oct 2024
https://github.com/KLZ-0/IZV-project
Data Analysis project @ FIT VUT
data-visualization data-visualization-project fit izv izv-fit vut vut-fit vutbr
Last synced: 23 Oct 2024
https://github.com/unsortedhashsets/vut-isj
VUT 2019 - ISJ (Python) Projects
Last synced: 14 Nov 2024
https://github.com/kubulambula/vut_fit-holy_grail_of_my_projects
Collection of projects I made during my studies at VUT FIT
student-project vut vut-fit vutbr vutbrfit
Last synced: 21 Dec 2024
https://github.com/harmim/vut-itu-project
Tvorba uživatelských rozhraní - Projekt - TODO list pro Buddy členy organizace ESN
esn itu nette-framework php7 todo todo-list user-interface vut vut-fit
Last synced: 05 Nov 2024
https://github.com/harmim/vut-iis-project
Informační systémy - Projekt
iis information-systems nette-framework php7 vut vut-fit
Last synced: 05 Nov 2024
https://github.com/jekwwer/izhv-exercise07-2021
Solution for the 7th assignment from the course 'IZHV (Introduction to Game Development)' for the academic year 2021/22 at VUT FIT
izvh latex school-project vut-fit
Last synced: 10 Dec 2024
https://github.com/jekwwer/izhv-exercise06-2021
Solution for the 6th assignment from the course 'IZHV (Introduction to Game Development)' for the academic year 2021/22 at VUT FIT
izhv school-project unity vut-fit
Last synced: 10 Dec 2024
https://github.com/jekwwer/izhv-gamejamproject-2022
Sources of the IZHV Game Jam project in 2021/22. Zdroje k Game Jam projektu z předmětu IZHV v roce 2021/22. VUT FIT
gamejam izhv school-project unity vut-fit
Last synced: 10 Dec 2024
https://github.com/jekwwer/izhv-project01-2021
IZHV Project: Analysis of Game Mechanics - VUT FIT 2021/22
game-development izhv latex school-project vut-fit
Last synced: 10 Dec 2024
https://github.com/jekwwer/izhv-exercises
Web for the IZHV exercises in 2021/22. Webová stránka pro cvičení z předmětu IZHV v roce 2021/22. VUT FIT
Last synced: 10 Dec 2024
https://github.com/jekwwer/izp-project1-2020
Solution of the 1st IZP project in 2020/21. Řešení 1. projektu z předmětu IZP v roce 2020/21. VUT FIT
Last synced: 10 Dec 2024
https://github.com/jekwwer/ids-project-2022
IDS Project: Video Rental Database Implementation - VUT FIT 2021/22
database ids school-project sql vut-fit
Last synced: 10 Dec 2024
https://github.com/harmim/vut-kry-project1
Cryptography - Project - One Time Pad
crypto cryptoanalysis cryptography cryptology kry one-time-pad one-time-pad-cipher vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-tama-essay
Application Development for Mobile Devices - Midterm Essay
android calendar essay mobile-development tama vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-prl-project2
Paralelní a distribuované algoritmy - Projekt - Odd-Even Transposition Sort
cpp distributed-computing odd-even-sort open-mpi parallel-algorithm parallel-programming prl sorting-algorithms vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-upa-labs
Ukládání a příprava dat - Cvičení
databases jdbc multimedia-database nosql-database oracle spatial-database upa vut vut-fit xml-database
Last synced: 13 Dec 2024
https://github.com/harmim/vut-upa-project
Ukládání a příprava dat - Projekt
databases multimedia-database oracle spatial-database sql upa vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-prl-project3
Paralelní a distribuované algoritmy - Projekt - Viditelnost
cpp distributed-computing line-of-sight open-mpi parallel-algorithm parallel-programming prefix-sum prefix-sum-algorithm prl vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-spp-project
Fault Tolerant Systems - Project
article concurrent-c distributed-systems fault-tolerance ieee multiprocessor presentation replication spp vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-sav-project
Static Analysis and Verification - Project - PRISM
bdd markov-chain markov-decision-processes model-checking pctl prism probabilistic-models sav static-analysis stochastic-processes verification vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-kry-project2
Cryptography - Project - RSA
asymmetric-cryptography crypto cryptography cryptology cypher encryption-decryption factorization factorization-attack kry prime-generator public-private-key rsa rsa-algorithm vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-flp-project1
Functional and Logic Programming - Functional Project - SIMPLIFY-BKG
context-free-grammar flp functional-programming ghc haskell theoretical-computer-science vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-ipp-project
Principy programovacích jazyků a OOP - Projekt
interpreter ipp oop php7 programming-languages python3 vut vut-fit xml
Last synced: 13 Dec 2024
https://github.com/harmim/vut-snt-project
Simulation Tools and Techniques - Project - Traveling Umpire Problem
benders-cuts discrete-simulation greedy-algorithm local-search neighbor-search neighborhood-search operational-research optimalisation python scheduling simulation simulation-modeling snt vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-fit-project
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
alan-turing cryptoanalysis enigma fit history history-of-computer-science philosophy turing turing-completeness turing-machine turing-test vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-msp-project
Statistika a pravděpodobnost - Projekt
excel msp regression-analysis statistics vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-flp-labs
Funkcionální a logické programování - Cvičení
flp functional-programming ghc haskell logical-programming prolog swi-prolog vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
abstract-interpretation article atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp excel-at-fit facebook facebook-infer java ocaml program-analysis static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-bis-project
Bezpečnost informačních systémů - Projekt - The FITfather
bis hacking security software-security sql-injection ssh vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-avs-project1
Architektury výpočetních systémů - Projekt - Optimalizace sekvenčního kódu
avs hdf5 neuronal-network openmp papi parallel-computing vectorized-computation vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-avs-project2
Architektury výpočetních systémů - Projekt - Optimalizace paralelního kódu
avs marching-cubes openmp parallel-computing parallel-programming vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-ata-project1
Automatizované testování a dynamická analýza - Projekt - Návrh automatizované testovací sady - Řízení vozíku v robotické továrně
ambiguity-review ata automated-testing cause-effect-graphing combinatorial-testing data-based-testing dynamic-analysis requirement-based-testing testing vut vut-fit
Last synced: 13 Dec 2024
https://github.com/harmim/vut-excel-at-fit-2019
Excel@FIT 2019
abstract-interpretation article atomicity bachelor-thesis deadlock excel-at-fit facebook facebook-infer static-analysis vut vut-fit worst-case-const
Last synced: 13 Dec 2024
https://github.com/harmim/vut-flp-project2
Functional and Logic Programming - Logic Project - Turing Machine
flp logic-programming prolog swi-prolog theoretical-computer-science turing-machine turing-machine-simulator vut vut-fit
Last synced: 13 Dec 2024
https://github.com/onegentig/vut-fit-iss2022-projekt
Projekt (syntetické piano) z předmětu Signály a systémy (ISS), třetí semestr bakalářského studia BIT na FIT VUT/BUT, ak.rok 2022/2023
brno-university-of-technology fourier-transform frequency-analysis ipython-notebook iss jupyter-notebook science scipy signal signal-processing signal-synthesizer spectral-analysis vut vut-fit vutbr
Last synced: 27 Sep 2024
https://github.com/harmim/vut-ata-project2
Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně
ata automated-testing dynamic-analysis finite-automata ltl-formulas run-time-verification testing vut vut-fit
Last synced: 13 Dec 2024
https://github.com/xstupi00/Parallel-Marching-Cubes
Computation Systems Architectures - Project - Parallel Code Optimization
avs marching-cubes openmp parallel-computing parallel-programming vut vut-fit
Last synced: 23 Oct 2024
https://github.com/harmim/vut-tama-project
Application Development for Mobile Devices - Project - FIT Timetable
android calendar mobile-development tama timetable vut vut-fit
Last synced: 23 Oct 2024
https://github.com/Aenariss/vut-fit-bit
Projects I made during my time at BUT FIT
Last synced: 23 Oct 2024
https://github.com/xstupi00/vut-upa-project
Ukládání a příprava dat - Projekt
database multimedia-database oracle spatial-database sql upa vut vut-fit
Last synced: 23 Oct 2024
https://github.com/xstupi00/Theoretical-Assignments
Elaborated projects with theoretical assignments during the master's degree.
automata complexity information-security markov-chain petri-nets statistics storm vut vut-fit
Last synced: 23 Oct 2024
https://github.com/harmim/vut-avs-labs
Architektury výpočetních systémů - Cvičení
avs openmp parallel-computing processor-architecture vectorized-computation vut vut-fit
Last synced: 13 Dec 2024
https://github.com/xstupi00/Morse-Code-Encoder
Morse Code Encoder at development board FITkit3 with an external keyboard. The application was developed in MCUXpresso IDE v10.2.1.
arm c fitkit3 imp mcu mcuexpresso microcontroller morse-code nxp vut vut-fit
Last synced: 23 Oct 2024