artemohanjanyan/tt-conspect artemohanjanyan/tt-conspect

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    TeX
  • Created over 8 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
artemohanjanyan/tt-conspect
github

artemohanjanyan

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Notes for type theory course

More Repositories

1

university

Single repository for university projects
C++
4
star
2

bluetooth-chess

Play chess with your friends via bluetooth
Java
2
star
3

git-tutorial

Introduction to git for CSC students
TeX
2
star
4

nest_caller_yandexer

Яндексим входящий звонок
Java
2
star
5

search-clustering

Clustering Search Engine Query Log Containing Noisy Clickthroughs
Java
1
star
6

tetris

https://artemohanjanyan.github.io/tetris/
Kotlin
1
star
7

MobileSchool

Test assignment for Yandex school of mobile development
Java
1
star
8

codeworld-2022

Haskell
1
star
9

game-of-life

Idris
1
star
10

haskell-via-sokoban

Haskell
1
star