Arseniy Seroka (jagajaga)

jagajaga

Geek Repo

Company:@serokell

Home Page:https://serokell.io

Github PK Tool:Github PK Tool


Organizations
NixOS
serokell

Arseniy Seroka's repositories

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.

Language:HaskellStargazers:40Issues:0Issues:0

nixos-slim-theme

NixOS theme for SLiM lock

License:MITStargazers:17Issues:0Issues:0
Stargazers:7Issues:0Issues:0
Language:Pure DataStargazers:2Issues:0Issues:0

optimisation-course

Tasks for optimisation course course works

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

tt2014

Type theory (IFMO, 2014)

Language:TeXStargazers:1Issues:0Issues:0

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:1Issues:0

dyre

A Dynamic Reconfiguration Library for Haskell Programs

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

fp-homework-templates-2020

Homework templates for Haskell ITMO course at CTD

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

haskell-chart

A 2D charting library for haskell

Language:HaskellStargazers:0Issues:0Issues:0

haskell-companies

A gently curated list of companies using Haskell in industry

Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

lushtags

Create ctags compatible tags files for Haskell programs

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

mpdas

MPD AudioScrobbler written in C++ using libcurl

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:0Issues:1Issues:0

nixos-artwork

Nix related artwork

Language:NixStargazers:0Issues:1Issues:0

nixos-hardware

NixOS modules covering hardware quirks

Language:NixStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:0Issues:0

open-vm-tools

Official repository of VMware open-vm-tools project

Language:CStargazers:0Issues:0Issues:0

OS

Some tasks for operating systems lessons

Language:C++Stargazers:0Issues:0Issues:0

qutebrowser

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

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

syava-lang

Syava language compiler to llvm

Language:RustStargazers:0Issues:0Issues:0

taffybar

A slightly fancy status bar for xmonad

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

vim-addon-vim2nix

turn vim-pi packages into nix package descriptions

Stargazers:0Issues:0Issues:0