Ioannis Daridis's repositories

souffle-lsp-plugin

Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin

Language:Jupyter NotebookStargazers:1Issues:1Issues:0

Compilers_2

Mini Java semantic and type checking exercise

Language:JavaStargazers:1Issues:1Issues:0

Compilers_1

Recursive descent calculator and Java transpiler grammar

Language:LexStargazers:0Issues:1Issues:0

Compilers_3

Mini Java to LLVM IR coversion exercise

Language:JavaStargazers:0Issues:0Issues:0

OS_2

Sort large files using multiple processes.

Language:CStargazers:0Issues:1Issues:0

OS_3

Bus station simulation exercise using semaphores for process syncronization

Language:CStargazers:0Issues:1Issues:0