sarajuhosova

PhD Candidate @ Programming Languages | TU Delft

@formelioDelft

Pinned Repositories

agda2hs
Compiling Agda code to readable Haskell
Language:Agda176 20 18137
agda2hs
Compiling Agda code to readable Haskell
Language:Haskell0 0 00
agda2hs-collection
Agda2HS Collection (MSc Thesis)
Language:Agda2 1 00
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:Agda2 3 03
suguru
https://sarajuhosova.github.io/suguru
Language:TypeScript00
smelly-python
A Python Code Smell Reporting Tool
Language:Python4 0 12

sarajuhosova's Repositories

sarajuhosova/agda2hs-collection
Agda2HS Collection (MSc Thesis)
Language:Agda2 1 00
sarajuhosova/cbc-type-checker
A Correct-by-construction type checker implemented in Agda
Language:Agda2 3 03
sarajuhosova/aoc
Advent of Code
Language:Java1 1 00
sarajuhosova/agda2hs
Compiling Agda code to readable Haskell
Language:Haskell0 0 00
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/suguru
https://sarajuhosova.github.io/suguru
Language:TypeScript00
sarajuhosova/guava-base-junit
Language:Java
sarajuhosova/sarajuhosova.github.io
Language:SCSS