Beast code in Giters

Gleb Alexeyev's starred repositories

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

Language:TLA104200

Various Dockerfiles I use on the desktop and on servers.

Language:DockerfileMIT1367800

Class materials for a distributed systems lecture series

Formal models of core Elasticsearch algorithms

Language:IsabelleApache-2.020600

Modern Java - A Guide to Java 8

Language:JavaMIT1672500

A black hole raytracer written in Haskell

Language:HaskellBSD-3-Clause17100

A complete computer science study plan to become a software engineer.

CC-BY-SA-4.030586800

Papers from the computer science community to read and discuss.

Language:Shell8762600

Immutable in-memory R-tree and R*-tree implementations in Java with reactive api

Language:JavaApache-2.0109000

Performance analysis tools based on Linux perf_events (aka perf) and ftrace

Language:ShellGPL-2.0985100

Materials for workshop on Type-level programming with Shapeless

Language:CSSApache-2.03900

IN4355 Functional Programming

MIT4100

The Disco Discus Compiler

Language:HaskellNOASSERTION17400

Type-Level Metaprogramming Library in Scala

Language:Scala4700

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Language:Java2135600