Studies

Resources and solutions for exercises for each programming subject at my univeristy.

Selected projects

Application Security in separate repository: https://github.com/Tomatosoup97/ApplicationSecurity

Languages theory

• Programming language implementation in Haskell

• Xi-Language compiler in Ocaml

• SAT (SATISFIABILITY) solving machine

• Propositional calculus proofs by resolution

• HDML language parser

  • language for verifying digital circuits (Verilog alike)

Operating systems & Computer Architecture

• ASM lab

• Memory manager in C

  • posix_memalign, malloc, calloc, realloc, free according to POSIX standards

• ext2 file system

Computer Networking

• Traceroute
• Web server
• RIP (Routing Information Protocol)
  • Implementation of a routing protocol based on distance-vector algorithm

Data Science

• Todos