pbougou's repositories
compsyslab
Linux kernel programming
Language:C000
Language:C++000
000
Language:TeX000
internet_programming
Internet programming class in NTUA
Language:JavaScript000
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Language:HaskellBSD-3-Clause000
ntua-db
Semester project for Database class
Language:PHP000
parallel
Parallel processing in shared and distributed memory model
Language:C000
pl1
Solutions for Programming Languages I exercises
Language:Standard ML000
proglangs
Programming Languages
Language:CMIT000
liquidhaskell
Liquid Types For Haskell
Language:HaskellBSD-3-Clause000
poetry
Python packaging and dependency management made easy
MIT000
softeng17b-project2
Project #2 - softeng17b @ ece.ntua.gr
Language:Jupyter Notebook000