tatiana-s

Pinned Repositories

articulate
Hack Cambridge 2022
Language:JavaScript0 1 00
bwinf2019
Submissions to round 1 and 2 of Bundeswettbewerb Informatik 2019.
Language:Python1 1 00
cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
Language:OCaml00
cerium
An incremental type checker for a subset of C using DDlog.
Language:Rust2 2 00
ellas-vs-maxims
Language:Java00
flower
Flower - A Friendly Federated Learning Framework
Language:Python00
java-naming-analysis
Project determining the popularity of class names in Java-based projects on GitHub.
Language:Kotlin00
mandelbulb-renderer
Ray-marching 3D fractals.
Language:Java4 2 01

tatiana-s's Repositories

tatiana-s/mandelbulb-renderer
Ray-marching 3D fractals.
Language:Java4 2 01
tatiana-s/cerium
An incremental type checker for a subset of C using DDlog.
Language:Rust2 2 00
tatiana-s/bwinf2019
Submissions to round 1 and 2 of Bundeswettbewerb Informatik 2019.
Language:Python1 1 00
tatiana-s/articulate
Hack Cambridge 2022
Language:JavaScript0 1 00
tatiana-s/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
Language:OCaml00
tatiana-s/ellas-vs-maxims
Language:Java00
tatiana-s/flower
Flower - A Friendly Federated Learning Framework
Language:Python00
tatiana-s/java-naming-analysis
Project determining the popularity of class names in Java-based projects on GitHub.
Language:Kotlin00
tatiana-s/step-portfolio
Language:Java0 2 01
tatiana-s/step222-2020
LectureChat web application.
Language:Java0 1 00
tatiana-s/theory-code
Code dealing with formal languages and finite automata.
Language:Python1 0