Beast code in Giters

Tatiana Gordeeva's repositories

Tinder, но для поиска репетиторов

Language:Java200

Language:Jupyter Notebook1 10

Language:Python1 10

Фоторедактор

Language:C++MIT1 20

Language:C++1 10

Language:TeX000

Language:Python000

Language:C++000

Language:TeX000

This repository contains the supplementary Coq development for the Making Weak Memory Models Fair paper.

Language:CoqMIT000

Build GDrive CLI (https://github.com/gdrive-org/gdrive) with your own credentials using GitHub Actions

Language:Shell000

000

Language:Kotlin010

010