Kuchma Andrey's starred repositories
ydb-java-dialects
The official YDB Dialects for Java ORM frameworks and migration tools.
odersky.github.io
My blogs
spring-framework
Spring Framework
monkeytype
The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
obsidian.el
Obsidian Notes for Emacs
telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.
idris-cs-hse
«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
monad-control
Lift control operations, like exception catching, through monad transformers
junit-quickcheck
Property-based testing, JUnit-style
lambdabot-telegram-plugins
Telegram Lambdabot Bot
java-telegram-bot-api
Telegram Bot API for Java
TelegramBots
Java library to create bots using Telegram Bots API
haskell-telegram-api
Telegram Bot API for Haskell
haskell-mooc
Haskell MOOC University of Helsinki
servant-examples
A bunch of examples that show how to do stuff using Haskell's Servant web framework