Pinned Repositories
rscoin-haskell
Haskell implementation of RSCoin
CG-Haskell
Geometry Visualization Library
FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
itmo-fp-2020
my_configs
My .*rc files and some stuff. Lots of garbage, use with caution.
nixos-slim-theme
NixOS theme for SLiM lock
nixpkgs
Nix Packages collection & NixOS
browser-token-signing
DEPRECATED - BHO/NPAPI plugin for signing hashes with PKCS#11 tokens from JavaScript
serokell-util
Various functions which are used across multiple @serokell packages
jagajaga's Repositories
jagajaga/FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
jagajaga/my_configs
My .*rc files and some stuff. Lots of garbage, use with caution.
jagajaga/nixos-slim-theme
NixOS theme for SLiM lock
jagajaga/itmo-fp-2020
jagajaga/samurai-thesis
jagajaga/itmo-fp-2021-autumn
jagajaga/optimisation-course
Tasks for optimisation course course works
jagajaga/syava-lang
Syava language compiler to llvm
jagajaga/tt2014
Type theory (IFMO, 2014)
jagajaga/vim-addon-vim2nix
turn vim-pi packages into nix package descriptions
jagajaga/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
jagajaga/ci
jagajaga/dyre
A Dynamic Reconfiguration Library for Haskell Programs
jagajaga/fp-homework-templates-2020
Homework templates for Haskell ITMO course at CTD
jagajaga/FYIPapers
jagajaga/haskell-chart
A 2D charting library for haskell
jagajaga/haskell-companies
A gently curated list of companies using Haskell in industry
jagajaga/Information-Theory
jagajaga/itmo-fp-2020-autumn
jagajaga/lushtags
Create ctags compatible tags files for Haskell programs
jagajaga/mpdas
MPD AudioScrobbler written in C++ using libcurl
jagajaga/multi-stopwatch
jagajaga/nix
Nix, the purely functional package manager
jagajaga/nixos-artwork
Nix related artwork
jagajaga/nixos-hardware
NixOS modules covering hardware quirks
jagajaga/nixpkgs
Nix Packages collection
jagajaga/open-vm-tools
Official repository of VMware open-vm-tools project
jagajaga/OS
Some tasks for operating systems lessons
jagajaga/qutebrowser
A keyboard-driven, vim-like browser based on PyQt5 and QtWebKit.
jagajaga/taffybar
A slightly fancy status bar for xmonad