Pinned Repositories
DiscordBot-ChannelManager
Funcitions:
ESP32_Security_system_with_motion_detector
discord-ssh-bot
A node.js Discord bot for using shell commands remotely through Discord
dtmc_deadlock
model checking failes to check LRA property when using EquationSolverType.native
EM-algorithm-visualization
FaithDialOR
Map WizardOfWikipedia knowledge into FaithDial dialogues
hash-table
iam-calculator
Počty se sekvencemi čísel
ICS
Lectures and computer labs storage for ICS course at FIT BUT.
IDS-hromadne-konzultacie
AntoninJarolim's Repositories
AntoninJarolim/llm2colbert-distillation
AntoninJarolim/EM-algorithm-visualization
AntoninJarolim/llm-watermarking
AntoninJarolim/FaithDialOR
Map WizardOfWikipedia knowledge into FaithDial dialogues
AntoninJarolim/multidoc2dial-reranking
Reranking multidoc2dial dataset using cross-encoder.
AntoninJarolim/DiscordBot-ChannelManager
Funcitions:
AntoninJarolim/WAP-1
AntoninJarolim/multidoc2dial-ce
MultiDoc2Dial: Modeling Dialogues Grounded in Multiple Documents
AntoninJarolim/SUR-image-voice-classification
AntoninJarolim/VUT-PRL-2-tester
AntoninJarolim/RceNeuralNetworkAnimation
AntoninJarolim/rubbergod
FITWIDE discord bot
AntoninJarolim/synthesis_graphs
Generates various graphs using the data from the PAYNT POMDP synthetizer.
AntoninJarolim/trivial_synthesis
one-by-one controller synthesis for (POMDP) w.r.t. long-run average (stedy-state) properties
AntoninJarolim/synthesis
LRA specifications
AntoninJarolim/dtmc_deadlock
model checking failes to check LRA property when using EquationSolverType.native
AntoninJarolim/ESP32_Security_system_with_motion_detector
AntoninJarolim/Santa-raindeers-gifts
Multi processor program simmulating paraller work of Santa Clause workshop.
AntoninJarolim/hash-table
AntoninJarolim/ICS
Lectures and computer labs storage for ICS course at FIT BUT.
AntoninJarolim/IDS-hromadne-konzultacie
AntoninJarolim/SatSolving
AntoninJarolim/iam-calculator
Počty se sekvencemi čísel
AntoninJarolim/socket_server
Socket server from scratch
AntoninJarolim/stopwatch
Stopwatch made in window forms metro framework in c#.
AntoninJarolim/discord-ssh-bot
A node.js Discord bot for using shell commands remotely through Discord