Georgi Lyubenov's repositories
agda-vim
Agda interaction in vim
CS316-19
The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
dhall-vim
Syntax highlighting for Dhall
file-embed
Use Template Haskell to embed file contents directly.
flux-monoid
A monoid which counts changing values in a sequence
fmi-computer-science-stuff
Code and materials from exercises and homeworks in FMI.
fp-slides
Лекции по Функционално програмиране
gruvbox
Retro groove color scheme for Vim (with custom modifications to Haskell and PureScript to make them more colourful)
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquidhaskell-cabal
Liquid Haskell integration for Cabal and Stack
plfa.github.io
Introduction to programming language theory in Agda
polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
r-project
it's not nothing
relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
underpass
Experiments with overpass API
unix-time
Fast time library
wenkokke.github.io
wherein I put my blogs