pbougou
Languages
C23%Haskell15%TeX8%Standard ML8%TypeScript8%Objective-C8%JavaScript8%PHP8%C++8%Jupyter Notebook8%
Repos
15
Stars
1
Forks
1
Top Language
C
Loading contributions...
Top Repositories
Repositories
15PB
pbougou/poetryFork
Python packaging and dependency management made easy
00Updated 3 years ago
PB
pbougou/proglangs
Programming Languages
C00Updated 7 years ago
algorithmsaxiomatic-semanticsdenotational-semanticsframa-cgarbage-collectionhaskellinterpreterprogramming-languagesscripting-languagestype-inference
PB
pbougou/liquidhaskellFork
Liquid Types For Haskell
Haskell00Updated 5 years ago
PB
pbougou/diploma
No description provided.
TeX00Updated 6 years ago
PB
pbougou/liquid-fixpointFork
Horn Clause Constraint Solving for Liquid Types
Haskell00Updated 6 years ago
PB
pbougou/parallel
Parallel processing in shared and distributed memory model
C00Updated 7 years ago
PB
pbougou/compsyslab
Linux kernel programming
C00Updated 7 years ago
PB
pbougou/pl1
Solutions for Programming Languages I exercises
Standard ML00Updated 7 years ago
PB
pbougou/danaCompiler
No description provided.
00Updated 7 years ago
PB
pbougou/fsocietyFork
Entertainmnet-search platform
TypeScript11Updated 7 years ago
elasticsearchjavajava-microservicesmongodbmysqlntuasoftware-engineeringspring-boottypescript
PB
pbougou/embedded
No description provided.
Objective-C00Updated 7 years ago
armcross-compilerdesign-space-explorationembedded-systemsfreertolinuxzybo-linux
PB
pbougou/internet_programming
Internet programming class in NTUA
JavaScript00Updated 7 years ago
event-drivenjava-8javascriptjqueryservlet-jspswing
PB
pbougou/ntua-dbFork
Semester project for Database class
PHP00Updated 7 years ago
apachemysqlphprelational-databaseswebapp
PB
pbougou/crypto
No description provided.
C++00Updated 7 years ago
PB
pbougou/softeng17b-project2Fork
Project #2 - softeng17b @ ece.ntua.gr
Jupyter Notebook00Updated 8 years ago