Beast code in Giters

Roman Venediktov's repositories

KtGlean

Kotlin support in Glean

Language:KotlinApache-2.04 10

AvalonBot

1 10

Notifier

Notifier about changes on the page

Language:Kotlin1 10

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION100

AVLTyped

Typed AVL-tree using Kotlin + GADT inference

Language:Kotlin000

BED-indexer

Language:Kotlin000

compilers-2021-autumn

Language:TeX000

Existentials-KEEP

000

compressor-benchmarking

Language:CGPL-3.0000

Deforestation

Language:Kotlin000

DIploma

Language:TeX000

dokka

Documentation Engine for Kotlin

Apache-2.0000

DT2022

Dependent types 2022

000

dynsys

Language:C++MIT000

example-refactorings

000

Hash-speed-checker

Language:C++GPL-3.0000

hse-sd

000

HSE-SD-2022

Language:Kotlin000

kotlin

The Kotlin Programming Language.

Language:Kotlin000

ktor

Framework for quickly creating connected applications in Kotlin with minimal effort

Apache-2.0000

LamaVM

Language:C000

MatrixBFS

Language:Python000

MatrixMultiplication

Language:HaskellBSD-3-Clause000

moshi

A modern JSON library for Kotlin and Java.

Apache-2.0000

MStat

000

mylinter

000

SD-2022-Rogue

Language:Kotlin000

SD-2022-web

000

TLBCharacteristics

Language:C++000

Union-Error-Types-KEEP

000