Slavomir Kaslev

gl3w. Simple OpenGL core profile loading

why-types. Why Types Matter

catmull-clark. Catmull-Clark subdivision surfaces demo

burton. PyQt and PyOpenGL tutorials

thru. thru measures throughput between guest vm and host using fifo/tcp/udp/vsock

orange. OpenCL toy volumetric renderer

emacs.d. My emacs configuration

bezier. Bezier curves editing demo

fract. Jupyter Notebook

pyman. Yet another school project - Mandelbrot viewer in Python

vimrc. My vim configuration

cvxpy. A Python-embedded modeling language for convex optimization problems.

cabal-pagerank. Cabal PageRank

hello-world. Haskell "hello world" program in fake OOP notation (foo.bar(baz).bax)

cpp11-playground. C++11 Playground

kubectl-watch. kubectl plugin for watching cluster resource changes

boltzmann. Haskell

what-happens-when. An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

zero-to-zipper. Zero To Zipper Code and Slides

proofs-talk. Code and slides from the talk "Introduction to Theorem Proving in Lean"

tilt. Tilt

incremental-fluids. Simple, single-file fluid solvers for learning purposes