https://github.com/ysig/ece_projects

Interesting Programming Projects/Exercises from studying Electrical & Computer Engineering in the National Technichal University of Athens
https://github.com/ysig/ece_projects

Last synced: 27 days ago
JSON representation

Interesting Programming Projects/Exercises from studying Electrical & Computer Engineering in the National Technichal University of Athens

• Host: GitHub
• URL: https://github.com/ysig/ece_projects
• Owner: ysig
• Created: 2017-09-11T15:42:50.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-09-11T15:48:33.000Z (over 7 years ago)
• Last Synced: 2024-10-05T21:06:45.279Z (3 months ago)
• Language: C
• Size: 5.67 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## Projects/Exercises from studying Electrical & Computer Engineering in the National Technichal University of Athens

- Project in Databases:  

Design of a Database which stores information for a Pharmaceutical Company implemented in mysql and a front-end/back-end development for a user interface using php, html, css.

- Advanced Programming Languages:  

Six programming exercises for a course of advanced programming languages concerning:  

(1) haskell implementation of tarjans algorithm for articulation points (intended to learn and exercise haskell's lazyness)  

(3) A formal-verification of a simple c program using frama-c  

(4) a type inference program written in haskell for the simple l-calculus using the algorithm of the most general unifier  

(5) an interpreter for a "denotational semantics" language, both for call-by-name and call-by-value evaluation implemented in haskell  

(6) an indirectly threaded vm bytecode-interpreter for the esoteric language "Befunge-93", written in c using GNU-compiler instructions in-order to increase execution speed  

and finally  

(7) a python script that plays an online game and suceeds, plus a site and server-side api that simulates this game (using php, html, befunge-intrpreter)

- Operational Systems Lab:  

Three exercises for the advanced laboratory of operational systems concerning:  

(1) a policy instructor and a policy applier for processes handled by linux cgroups  

(2) development of a linux driver for a sensor device  

(3) a tcp/ip chat plus a cryptographic interface visible to the physical machine from a vm, using QEMU VM and virtIO protocol.