Dmitrii Kovanikov's repositories
pragmatic-category-theory
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
github-tui
π A TUI for GitHub
ghc-plugin-non-empty
𧬠GHC Plugin for compile-time transformation of list literals to NonEmpty list
chshersh.github.io
:yellow_heart: My website
rogue-lang
Compiler for Rogue programming language
retroactive-priority-queue
implementation of partially retroactive priority queue (including its visualization) with O(log m) update time and O(log n) query
haskell-course-assistant
This repository contains tools for simplifying FP-course maintenance and automate teaching processes.
haskell-exercises
π» Exercises for the Haskell Beginners 2022 course
university-courses
tasks from university courses
haskell-hedgehog-classes
Hedgehog will eat your typeclass bugs
ocamlformat
Auto-formatter for OCaml code