jagajaga

FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

my_configs

My .*rc files and some stuff. Lots of garbage, use with caution.

nixos-slim-theme

NixOS theme for SLiM lock

itmo-fp-2020

samurai-thesis

itmo-fp-2021-autumn

optimisation-course

Tasks for optimisation course course works

syava-lang

Syava language compiler to llvm

tt2014

Type theory (IFMO, 2014)

vim-addon-vim2nix

turn vim-pi packages into nix package descriptions

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

ci

dyre

A Dynamic Reconfiguration Library for Haskell Programs

fp-homework-templates-2020

Homework templates for Haskell ITMO course at CTD

FYIPapers

haskell-chart

A 2D charting library for haskell

haskell-companies

A gently curated list of companies using Haskell in industry

Information-Theory

itmo-fp-2020-autumn

lushtags

Create ctags compatible tags files for Haskell programs

mpdas

MPD AudioScrobbler written in C++ using libcurl

multi-stopwatch

nix

Nix, the purely functional package manager

nixos-artwork

Nix related artwork

nixos-hardware

NixOS modules covering hardware quirks

nixpkgs

Nix Packages collection

open-vm-tools

Official repository of VMware open-vm-tools project

OS

Some tasks for operating systems lessons

qutebrowser

A keyboard-driven, vim-like browser based on PyQt5 and QtWebKit.

taffybar

A slightly fancy status bar for xmonad