Pinned Repositories
dynsys
Dynamic systems visualizer
KEEPs
Algebra
AvalonBot
AVLTyped
Typed AVL-tree using Kotlin + GADT inference
Existentials-KEEP
KtGlean
Kotlin support in Glean
Notifier
Notifier about changes on the page
ocaml
The core OCaml system: compilers, runtime system, base libraries
RefactorInsight
An IntelliJ IDEA plugin that detects refactorings in Git commits
e2e4b6b7's Repositories
e2e4b6b7/KtGlean
Kotlin support in Glean
e2e4b6b7/AvalonBot
e2e4b6b7/Notifier
Notifier about changes on the page
e2e4b6b7/ocaml
The core OCaml system: compilers, runtime system, base libraries
e2e4b6b7/AVLTyped
Typed AVL-tree using Kotlin + GADT inference
e2e4b6b7/compilers-2021-autumn
e2e4b6b7/Existentials-KEEP
e2e4b6b7/compressor-benchmarking
e2e4b6b7/Deforestation
e2e4b6b7/DIploma
e2e4b6b7/dokka
Documentation Engine for Kotlin
e2e4b6b7/DT2022
Dependent types 2022
e2e4b6b7/dynsys
e2e4b6b7/example-refactorings
e2e4b6b7/Hash-speed-checker
e2e4b6b7/hse-sd
e2e4b6b7/HSE-SD-2022
e2e4b6b7/kotlin
The Kotlin Programming Language.
e2e4b6b7/ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
e2e4b6b7/Lama
e2e4b6b7/LamaVM
e2e4b6b7/MatrixBFS
e2e4b6b7/MatrixMultiplication
e2e4b6b7/moshi
A modern JSON library for Kotlin and Java.
e2e4b6b7/MStat
e2e4b6b7/mylinter
e2e4b6b7/SD-2022-Rogue
e2e4b6b7/SD-2022-web
e2e4b6b7/TLBCharacteristics
e2e4b6b7/Union-Error-Types-KEEP