RaoulSchikora

Mathematics B.Sc. and Computer Science M.Sc.

Pinned Repositories

compiler
Compiler for the mini-Language mC. Imported from my universitiy GitLab account.
Language:C00
orthogonality_of_self-distributivity
Code accompanying my master thesis: https://diglib.uibk.ac.at/ulbtirolhs/content/titleinfo/8160517
Language:Haskell00
project_tseitin
Verification and optimization of several transformations of propositional formulas into equisatisfiable CNFs. Imported from my university GitLab account.
Language:Isabelle00
2015-algorithms
support site for a course on implementing geometric algorithms
Language:Python00
ADMII-1
Language:Java00
ML-black-box-attacks
00
personal_website
Language:HTML00

RaoulSchikora/personal_website
Language:HTML
RaoulSchikora/ML-black-box-attacks
RaoulSchikora/orthogonality_of_self-distributivity
Code accompanying my master thesis: https://diglib.uibk.ac.at/ulbtirolhs/content/titleinfo/8160517
Language:Haskell
RaoulSchikora/project_tseitin
Verification and optimization of several transformations of propositional formulas into equisatisfiable CNFs. Imported from my university GitLab account.
Language:Isabelle
RaoulSchikora/compiler
Compiler for the mini-Language mC. Imported from my universitiy GitLab account.
Language:C
RaoulSchikora/2015-algorithms
support site for a course on implementing geometric algorithms
Language:Python
RaoulSchikora/ADMII-1
Language:Java