Hi! My name is Daniel Blažek and I am a software developer.
I am 23 years old programmer from Czech Republic. I am currently studying at Faculty of Information Technology, CTU in Prague.
Website builder inspired mostly by Webnode and Squarespace.
The Worlds Collide default webpage is re-creation of one of the default pages from Webnode.
It is possible to export website to HTML and JSON.
It is also possible to import JSON back.
Simple PHP api for image upload and retrieval.
Description of single cycle processor with subset of RISC-V instruction and one custom instruction.
Simple assembly programs that can run on this processor.
Fork of RARS simulator with the custom instruction added.
Compiler frontend (Lexer, Parser, Abstract syntax tree) for Pascal like language Mila.
LLVM is used as compiler backend.
Program that takes lambda calculus term with syntactic sugar and converts it to simple lambda calculus term without syntactic sugar.
Application can:
Detect invalid inputs.
Substitute Church numerals, boolean literals, arithmetical and logical functions, symbolic functions and lambda functions with multiple variables.
Configure list of symbolic function and its definitions.
Specialization - Computer Science
Programming mostly in C and C++.
Touched a lot of different IT topics
processor architecture
object oriented programming
functional and logic programming
software desing
algoritms
Some math - mathematical analysis, linear algebra and statistics.
Specialization - Programming and databases
Programming mostly in C#.
And databases mostly MSSQL and some MySQL
Some basic website stuff like HTML, CSS, Javascript, jQuery and Angular.
Computer networking, Active Directory