{"id":15787267,"url":"https://github.com/ysig/ece_projects","last_synced_at":"2026-07-15T17:03:33.838Z","repository":{"id":120701195,"uuid":"103155056","full_name":"ysig/ece_projects","owner":"ysig","description":"Interesting Programming Projects/Exercises from studying Electrical \u0026 Computer Engineering in the National Technichal University of Athens","archived":false,"fork":false,"pushed_at":"2017-09-11T15:48:33.000Z","size":5949,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2024-10-05T21:06:45.279Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ysig.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-09-11T15:42:50.000Z","updated_at":"2017-09-11T15:46:57.000Z","dependencies_parsed_at":null,"dependency_job_id":"c436f9d5-75c4-4351-b6c8-d2240b729b22","html_url":"https://github.com/ysig/ece_projects","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/ysig/ece_projects","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ysig%2Fece_projects","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ysig%2Fece_projects/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ysig%2Fece_projects/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ysig%2Fece_projects/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ysig","download_url":"https://codeload.github.com/ysig/ece_projects/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ysig%2Fece_projects/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":266516350,"owners_count":23941402,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-07-22T02:00:09.085Z","response_time":66,"last_error":null,"robots_txt_status":null,"robots_txt_updated_at":null,"robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-04T21:07:02.749Z","updated_at":"2025-10-19T04:44:08.601Z","avatar_url":"https://github.com/ysig.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"## Projects/Exercises from studying Electrical \u0026 Computer Engineering in the National Technichal University of Athens\n- Project in Databases:  \nDesign 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.\n\n- Advanced Programming Languages:  \nSix programming exercises for a course of advanced programming languages concerning:  \n(1) haskell implementation of tarjans algorithm for articulation points (intended to learn and exercise haskell's lazyness)  \n(3) A formal-verification of a simple c program using frama-c  \n(4) a type inference program written in haskell for the simple l-calculus using the algorithm of the most general unifier  \n(5) an interpreter for a \"denotational semantics\" language, both for call-by-name and call-by-value evaluation implemented in haskell  \n(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  \nand finally  \n(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)\n\n- Operational Systems Lab:  \nThree exercises for the advanced laboratory of operational systems concerning:  \n(1) a policy instructor and a policy applier for processes handled by linux cgroups  \n(2) development of a linux driver for a sensor device  \n(3) a tcp/ip chat plus a cryptographic interface visible to the physical machine from a vm, using QEMU VM and virtIO protocol.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fysig%2Fece_projects","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fysig%2Fece_projects","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fysig%2Fece_projects/lists"}