Vitaly Bragilevsky

hid-examples. Examples to accompany the book "Haskell in Depth"

idris-cs-hse. «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ

tt-ghc-exercises. Haskell

cv. TeX

generate_parentheses. Rust

advent-of-code-rust-template. Rust

mmcs_sfedu_thesis. Шаблон выпускной работы на Мехмате ЮФУ

bob19-tutorial-types. Haskell

csd-utwente. Certified Software Development with Dependent Types in Idris

awesome-functional-programming. Yet another resource for collecting articles, videos etc. regarding functional programming

distributed-calculator. C++

unescaping-print. Haskell

containers-mini. Haskell

fp-in-rust-talk. Rust

haskell-intro-2024. Haskell

bevy-first-steps. Rust

haskell-intro-2025. Haskell

bazel-java-kotlin-sample. Starlark

fowler-refactoring-chap1. Kotlin

monadic-rpc. Haskell library for monadic structuring of distributed computations