slaykovsky

Aleksei Slaikovskii's repositories

hsIrcMongoLogger

Language:HaskellBSD-3-Clause3 30

borshch

MUD

Language:PythonBSD-3-Clause2 20

superhyper

A tool to run GNU/Linux virtual machines on hyperkit

Language:PythonNOASSERTION1 20

ADaStor

Anonymous Data Storage

Language:JavaGPL-3.0000

book

A textbook on informal homotopy type theory

Language:TeX030

chlor-web

chlor.ga - official webpage

Language:HTMLUnlicense000

cpio

Simple dumb cpio Go implementation.

Language:Go000

Deduplique

Language:JavaScriptNOASSERTION010

edx-dl

A simple tool to download video lectures from edx.org.

Language:HTMLLGPL-3.0020

emacs.d

My .emacs.d directory

Language:Emacs Lisp000

fetcher

Dumb fetcher in go

Language:GoBSD-3-Clause020

freeipa

Mirror of FreeIPA, an integrated security information management solution

Language:PythonGPL-3.0000

freeipa-pr-ci

FreeIPA Pull Request CI

Language:PythonGPL-3.0020

gegen

Language:GoLGPL-3.0000

hott3

HoTT in Lean 3

Language:LeanApache-2.0020

kubevirt

KubeVirt is a virtual machine management architecture built around Kubernetes.

Language:GoApache-2.0020

libvirt-go

Go bindings for libvirt

Language:GoMIT000

mdsrv_docker

Dockerfile for MD server development environment

020

mkosi

Build Legacy-Free OS Images

Language:PythonLGPL-2.1030

money_maker

Language:PythonGPL-3.0020

nationalparks-py

Backend component to display national parks (Python).

Language:PythonApache-2.0020

ovirt-system-tests

This is a mirror for http://gerrit.ovirt.org, for issues use http://bugzilla.redhat.com

Language:Python020

pgrapher

Language:JavaBSD-3-Clause020

slaykovsky.github.io

Personal website

Language:HTMLNOASSERTION000

sosachkino

Web interface for viewing sosach' webms

Language:PythonWTFPL010

storage

Language:Go000

thermal_daemon

Thermal daemon for IA

Language:C++GPL-2.0000

tkvdb

Trie key-value database

Language:CISC020

version_checker

JFF

Language:Python000

wt

Wt, C++ Web Toolkit

Language:CNOASSERTION020