costaseco

Pinned Repositories

iadi2023
This repository contains all materials from the course on Internet Applications Design and Implementation
Language:Kotlin91
wcc2024
Language:JavaScript71
iadi2022
Language:Kotlin615
wcc-demo
Language:JavaScript20
books
Language:TypeScript10
costaseco.github.io
My personal page
Language:TeX00
demoJPA
00
Featherweight-Java
An attempt to implement the typing rules of Featherweight Java using Haskell.
Language:Haskell00
novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
Language:TeX00
novathesis
A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users.
Language:TeX750119

costaseco's Repositories

costaseco/wcc2024
Language:JavaScript71
costaseco/iadi2023
This repository contains all materials from the course on Internet Applications Design and Implementation
Language:Kotlin91
costaseco/costaseco.github.io
My personal page
Language:TeX
costaseco/demoJPA
costaseco/wcc-demo
Language:JavaScript2
costaseco/iadi2022
Language:Kotlin615
costaseco/books
Language:TypeScript1
costaseco/novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
costaseco/Featherweight-Java
An attempt to implement the typing rules of Featherweight Java using Haskell.
Language:Haskell