Pinned Repositories
CPP_MIPT
Pieces of code written during first two semesters of algorithm and data structure course in DIHT
korolevadmin
Admin application with automatically generated front-end
lotos
A library for testing concurrent data structures that you lacked!
master
Master thesis at MIPT
MaxwellPhysicsMIPT2.0
SparkOptSolvers
Lasso and LP solvers for Apache Spark
tla.nvim
TLA+/PlusCal support for Neovim
tree-sitter-scala
Treesitter grammar for Scala 2/3
zumba
Simple video-chat with desktop client
tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
susliko's Repositories
susliko/tla.nvim
TLA+/PlusCal support for Neovim
susliko/quotidian
A menagerie of macro utilities and extensions for Scala 3
susliko/scala-cli-examples
susliko/adventofcode
susliko/bazel-cross-scala
susliko/career
Информация о внутренней кухне Тинькофф, включая подготовку к собеседованию
susliko/derivation
Configured derivation library for scala 3
susliko/hirschgarten
State-of-the-art Bazel support for IntelliJ IDEA
susliko/intellij
IntelliJ plugin for Bazel projects
susliko/interop-cats
ZIO instances for cats-effect type classes
susliko/izumi
Productivity-oriented collection of lightweight fancy stuff for Scala toolchain
susliko/metals
Scala language server with rich IDE features 🚀
susliko/metals-bazel
Debugging metals support for bazel
susliko/munit
Scala testing library with actionable errors and extensible APIs
susliko/nvim-metals
A Metals plugin for Nvim
susliko/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
susliko/oclox
susliko/phobos
Efficient and expressive XML data-binding library for Scala
susliko/phobos1
Efficient and expressive XML data-binding library for Scala
susliko/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
susliko/rules_scala
Scala rules for Bazel
susliko/scala-advent-of-code
Scala Center's solution of Advent of Code
susliko/scalameta
Library to read, analyze, transform and generate Scala programs
susliko/structurizr-site-generatr
Static site generator for architecture models created with Structrizr DSL
susliko/tapir
Declarative, type-safe web endpoints library
susliko/tethys
AST free JSON library for Scala
susliko/tofu
Functional programming toolbox https://tinkoffcreditsystems.github.io/tofu
susliko/tree-sitter-scala-1
Scala grammar for tree-sitter
susliko/typespec
susliko/zio-telemetry
ZIO-powered OpenTelemetry library