sarajuhosova

PhD Candidate @ Programming Languages | TU Delft

@formelioDelft

Pinned Repositories

agda2hs
Compiling Agda code to readable Haskell
Language:Agda174 19 17235
agda2hs
Compiling Agda code to readable Haskell
Language:Haskell00
agda2hs-collection
Agda2HS Collection (MSc Thesis)
Language:Agda20
agda2hs-playground
Language:Agda00
agda2hs-user-study
Language:Agda00
aoc
Advent of Code
Language:Java1 1 00
apc
Algorithm Programming Challenge
Language:Java0 1 00
cbc-type-checker
A Correct-by-construction type checker implemented in Agda
Language:Agda23
guava-base-assertj
Language:Java00
smelly-python
A Python Code Smell Reporting Tool
Language:Python42

sarajuhosova's Repositories

sarajuhosova/agda2hs-collection
Agda2HS Collection (MSc Thesis)
Language:Agda20
sarajuhosova/cbc-type-checker
A Correct-by-construction type checker implemented in Agda
Language:Agda23
sarajuhosova/aoc
Advent of Code
Language:Java1 1 00
sarajuhosova/agda2hs
Compiling Agda code to readable Haskell
Language:Haskell00
sarajuhosova/agda2hs-playground
Language:Agda00
sarajuhosova/agda2hs-user-study
Language:Agda00
sarajuhosova/apc
Algorithm Programming Challenge
Language:Java0 1 00
sarajuhosova/guava-base-assertj
Language:Java00
sarajuhosova/guava-base-junit
Language:Java
sarajuhosova/sarajuhosova