Giters
Aleksandr Pak (sancho20021)

sancho20021

Geek Repo

36

followers

34

following

8

stars

Github PK Tool:Github PK Tool

Aleksandr Pak's starred repositories

flux

Refinement Types for Rust

Language:RustLicense:MITStargazers:575Issues:11Issues:89

cpp-notes

ITMO CT C++ course notes

Stargazers:113Issues:4Issues:0

ydb-java-dialects

The official YDB Dialects for Java ORM frameworks and migration tools.

Language:JavaLicense:Apache-2.0Stargazers:71Issues:3Issues:60

M3137year2019

Конспекты М3*37 2019 года

Language:TeXStargazers:69Issues:1Issues:103

linal

lecture notes

Language:TeXStargazers:29Issues:3Issues:1

ITMO

Labs && HW on CT ITMO

Language:Jupyter NotebookStargazers:8Issues:1Issues:0

Differential_tickets

Language:TeXStargazers:7Issues:2Issues:0