Pinned Repositories
I2DL
I2DL course TUM
solar-system-animation
Animation of the Solar System and possible alteration scenarious
archive-of-graph-formalizations
This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.
audio-anotation
System where you can upload audio files, and writes comments at specific time
bipartite_graphs_paper
Connect_LP_and_matchings
FST-and-Bimachines
Implementation of basic functions for FST and Bimachines.
IPL
Implementation of Programming Languages course
online-store
Online store made with ruby and sinatra
payment-system
RaliDardjonova's Repositories
RaliDardjonova/bipartite_graphs_paper
RaliDardjonova/Connect_LP_and_matchings
RaliDardjonova/robotics_v1_entry
RaliDardjonova/archive-of-graph-formalizations
This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.
RaliDardjonova/verML-1
Verification of Machine Learning Practical Course
RaliDardjonova/verify_ML
Verify theorems considerring stability of a model and SVM
RaliDardjonova/I2DL
I2DL course TUM
RaliDardjonova/FST-and-Bimachines
Implementation of basic functions for FST and Bimachines.
RaliDardjonova/solar-system-animation
Animation of the Solar System and possible alteration scenarious
RaliDardjonova/speech-recognition
Speech regognition tool using tensorflow and python
RaliDardjonova/audio-anotation
System where you can upload audio files, and writes comments at specific time
RaliDardjonova/IPL
Implementation of Programming Languages course
RaliDardjonova/payment-system
RaliDardjonova/stellar-evolution
RaliDardjonova/online-store
Online store made with ruby and sinatra