Beast code in Giters

Georgiy Korneev's repositories

okasaki

Solutions for Okasaki's "Purely functional data structures" book

Language:Haskell44 40

atom-autocomplete-javafxcss

CSS property name and value completions

Language:CoffeeScriptMIT1 10

java-intro-2015

Tests for Introduction to Java 2015

Language:Java1 40

ping4j

Platform-independent ping implementation

Language:JavaGPL-3.0100

SSLDroid

Java-based plain-to-SSL proxy for Android devices

Language:JavaGPL-2.01 10

vcs-example-draw

Language:Java1 1 1

advent-of-code-2021

Language:Go010

colorama

Simple cross-platform colored terminal text in Python

Language:PythonBSD-3-Clause010

coolreader-kindle-qt

Cool Reader 3 port for Kindle Paperwhite, Touch, 4NT, 3, DX

Language:C++010

critbit

A Haskell implementation of crit-bit trees.

Language:HaskellBSD-2-Clause010

drbl

Diskless Remote Boot in Linux.

Language:ShellGPL-2.0000

lean-formalising-mathematics

Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.

Language:LeanApache-2.0000

lombok.patcher

A framework for easily patching JVM programs. Part of Project Lombok.

Language:Java010

netadmin

NetAdmin tool

Language:RustAGPL-3.0010

nginx-formula

Nginx Salt Formula

Language:SaltStackNOASSERTION020

olymp.sty

LATEX package for creating statements for programming contest problems

Language:C++NOASSERTION000

openvpn-formula

Setup and configure openvpn server and client.

Language:SaltStackNOASSERTION020

postfix-formula

Language:SaltStackNOASSERTION010

squid-ssl-deb

Build scripts for https://launchpad.net/~kgeorgiy/+archive/ubuntu/squid-ssl

Language:ShellGPL-3.0010

tinyrenderer-rust

Tiny Renderer in Rust

Language:Rust010

tokio-rustls

Async TLS for the Tokio runtime

Language:RustApache-2.0000

vite-relative-base-windows

Shows issues with relative base on Windows

Language:CSS010

wgpu_book-rust

Examples for Practical GPU Graphics with wgpu and Rust

Language:Rust010