J0s3c4rl0s

CSE BSc from TUD Currently pursuing my masters at TUD. Big on data and PL concepts.

Pinned Repositories

deep_ev_tracker_repro
Language:Python00
brp-agda-refactoring-jpadillacancio
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda1 4 00

J0s3c4rl0s's Repositories

J0s3c4rl0s/deep_ev_tracker_repro
Language:Python00