Vysoké učení technické v Brně | Ecosyste.ms: Awesome

VUT is a lightweight framework for rule validation and unit testing in Vlang. Simplify code correctness checks, data validation, and unit testing in your V projects with this efficient tool.

assert assertions assurances ensure expect expectations filters sanitization sanitizers schema test-suite test-suites testing-framework unit-testing validation validators vlang vlang-package vut

Last synced: 28 Feb 2025

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: 11 Mar 2025

https://github.com/wykys/avr-makefile

Support for projects based on AVR microcontrollers.

avr avr-gcc avrdude fekt vut vutbr

Last synced: 11 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

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: 11 Mar 2025

https://github.com/ogajduse/t-ibp

:unlock: ... může se při studiu oboru T-IBP hodit... :smirk::beers::thumbsup:

bezpecnost feec fekt ibep ibep-t informacni vut vutbr

Last synced: 23 Feb 2025

https://github.com/ogajduse/T-IBP

:unlock: ... může se při studiu oboru T-IBP hodit... :smirk::beers::thumbsup:

bezpecnost feec fekt ibep ibep-t informacni vut vutbr

Last synced: 11 Mar 2025

https://github.com/europ/VUTBR-FIT-ISA

VUTBR - FIT: ISA 2017/2018

fit isa pop3 pop3-server rfc1939 vut vutbr

Last synced: 11 Mar 2025

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: 31 Mar 2025

https://github.com/Bihanojko/School-Projects

Projects created during my studies at FIT BUT

bis fit ial icp ids ijc imp inc inp ios ipk ipp isa iss ito ity izg izp sfc vut

Last synced: 11 Mar 2025

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: 11 Mar 2025

https://github.com/harmim/vut-izp-proj1

Základy programování - Projekt 1 - Práce s textem

c izp project text-processing vut

Last synced: 31 Mar 2025

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: 31 Mar 2025

https://github.com/jansvabik/vutfit-izp-proj3

Simple cluster analysis implemented in C. Third VUT FIT IZP project.

brno-university-of-technology cluster-analysis fit project vut

Last synced: 11 Mar 2025

https://github.com/europ/vutbr-fit-isa

VUTBR - FIT: ISA 2017/2018

fit isa pop3 pop3-server rfc1939 vut vutbr

Last synced: 17 Feb 2025

https://github.com/harmim/vut-iel-project

Elektronika pro informační technologie - semestrální projekt

circuit-analysis electronics iel latex matlab project vut

Last synced: 31 Mar 2025

https://github.com/europ/VUTBR-FIT-SEN

VUTBR - FIT: SEN 2018/2019

fit heartbeat sen sensor stm32 stm32f030r8 vut vutbr

Last synced: 11 Mar 2025

https://github.com/europ/vutbr-fit-sen

VUTBR - FIT: SEN 2018/2019

fit heartbeat sen sensor stm32 stm32f030r8 vut vutbr

Last synced: 17 Feb 2025

https://github.com/AntonFirc/VUT-FIT-MITAI-NSEC

My school projects repository. Cybersecurity FIT VUT.

fit projekt vut

Last synced: 11 Mar 2025

https://github.com/europ/VUTBR-FIT-HSC

VUTBR - FIT: HSC 2018/2019

catapult catapult-c fit fpga hsc mcu profiling vut vutbr

Last synced: 11 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

https://github.com/harmim/vut-inp-project2

Návrh počítačových systémů - Projekt 2 - Procesor s Harvardskou architekturou

fitkit harvard inp processor processor-design vhld vut

Last synced: 31 Mar 2025

https://github.com/harmim/vut-ivs-project-1

Praktické aspekty vývoje software: Projekt 1 – Testování

c-plus-plus cmake code-coverage gcov google-test ivs lcov matrix project red-black-tree test-driven-development testing vut

Last synced: 31 Mar 2025

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/JosefKuchar/ifj-project

IFJ project 2022 - PHP compiler

c compiler php project vut

Last synced: 11 Mar 2025

https://github.com/harmim/vut-izp-proj2

Základy programování - Projekt 2 - Iterační výpočty

c continuous-fractions izp math project taylor-series vut

Last synced: 31 Mar 2025

https://github.com/psuhaj/Solitaire-IJA

VUTBR - FIT - IJA 2016/2017

fit ija java solitaire vut vutbr

Last synced: 11 Mar 2025

https://github.com/harmim/vut-izp-proj3

Základy programování - Projekt 3 - Jednoduchá shluková analýza

c cluster-analysis doxygen project vut

Last synced: 31 Mar 2025

https://github.com/europ/vutbr-fit-hsc

VUTBR - FIT: HSC 2018/2019

catapult catapult-c fit fpga hsc mcu profiling vut vutbr

Last synced: 17 Feb 2025

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: 11 Mar 2025

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: 11 Mar 2025

https://github.com/mrc0mmand/BachelorsThesis

bachelor-thesis but fit vut

Last synced: 11 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

https://github.com/harmim/vut-izg-project

Základy počítačové grafiky - Projekt - Vykreslovací řetězec a programování shaderů

c-plus-plus cmake doxygen fragment-shader fragments gpu-simulation graphics-programming izg project render-pipeline sdl2 shaders vector-algebra vertex vertex-shaders vut vutfit

Last synced: 31 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

https://github.com/harmim/vut-avs-project2

Architektury výpočetních systémů - Projekt - Optimalizace paralelního kódu

avs marching-cubes openmp parallel-computing parallel-programming vut vut-fit

Last synced: 31 Mar 2025

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: 31 Mar 2025

https://github.com/harmim/vut-izg-labs

Základy počítačové grafiky - Cvičení

c c-plus-plus cmake graphics-programming izg labs open-gl opengl sdl sdl2 vut vutbr

Last synced: 31 Mar 2025

https://github.com/harmim/vut-ipa-project

Pokročilé asemblery - Projekt - Grafický editor: Detektor hran a antialiasing

antialiasing assembly cpp ipa project vut

Last synced: 31 Mar 2025

https://github.com/harmim/vut-ipa-labs

Pokročilé asemblery - počítačové laboratoře

assembler cpp dll ipa labs vut

Last synced: 31 Mar 2025

https://github.com/jozefhruska/vut-fit-bit

This repository serves as a chronicle of my bachelor's studies at Brno University of Technology - Faculty of Information Technology. ⚠️ Beware! Low code quality, facepalms guaranteed!

but projects university vut

Last synced: 25 Mar 2025

https://github.com/harmim/vut-iis-project

Informační systémy - Projekt

iis information-systems nette-framework php7 vut vut-fit

Last synced: 09 Apr 2025

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: 09 Apr 2025

https://github.com/harmim/vut-isc-laboratore

Počítačový seminář - Počítačové laboratoře

c isc labs latex vut

Last synced: 31 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

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: 31 Mar 2025

https://github.com/harmim/vut-ius-project

Úvod do softwarového inženýrství - semestrální projekt

ius latex project uml use-case vut

Last synced: 31 Mar 2025

https://github.com/harmim/vut-ity-projects

Typografie a publikování - projekty

documents ity latex vut

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: 31 Mar 2025

https://github.com/europ/VUTBR-FIT-IIS

VUTBR - FIT: IIS 2017/2018

fit iis information-systems larafly laravel patternfly vut vutbr

Last synced: 11 Mar 2025

https://github.com/andrejnano/IDS-projekt

Projekt na predmet IDS 2018 @ FIT VUT, BRNO

databases erdiagram fit ids school-project sql vut

Last synced: 11 Mar 2025

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: 11 Mar 2025

https://github.com/ogajduse/BOOP_semester

Collection of semester exams from BOOP subject. Don't hesitate to submit a patch!

boop feec fekt objektove orientovane programovani vut vutbr

Last synced: 11 Mar 2025

https://github.com/jozefhruska/VUT-FIT-BIT

This repository serves as a chronicle of my bachelor's studies at Brno University of Technology - Faculty of Information Technology. ⚠️ Beware! Low code quality, facepalms guaranteed!

but projects university vut

Last synced: 11 Mar 2025

https://github.com/wykys/xkpt

fekt fit vut vutbr xkpt

Last synced: 11 Mar 2025

https://github.com/mstrlc/ijc-homework-2

FIT VUT – IJC – hashtable and word counting homework

c fit hashtable ijc vut wordcount

Last synced: 11 Mar 2025

https://github.com/mstrlc/ial-homework-2

FIT VUT – IAL – binary tree and hashtable homework

algorithms binary-tree btree fit hashtable ial vut

Last synced: 11 Mar 2025

https://github.com/wykys/MIKS-FSK

School project for demodulation FSK signal.

bel202 fek fsk urel vut vutbr

Last synced: 11 Mar 2025

https://github.com/peter2141/HSC

FIT VUT HSC 2018/2019

catapultc filtrace fit hsc segmentace vut vutbr

Last synced: 11 Mar 2025

https://github.com/kandski/ISA

fit isa pop3 vut

Last synced: 11 Mar 2025

https://github.com/mstrlc/ios-project-2

FIT VUT – IOS – bulding H2O problem with semaphores

c fit ios process-synchronization semaphores vut

Last synced: 11 Mar 2025

https://github.com/turytsia/university-isa-DnsResolver

A simple DNS resolver, implemented in C, that performs the task of translating human-readable domain names into IP addresses. It supports such query types as A, AAAA, PTR. And response type A, AAAA, PTR, CNAME and SOA.

dns dns-resolver ipv4 ipv6 vut

Last synced: 11 Mar 2025