atopuzov Goto Github PK

acme-tiny

A tiny script to issue and renew TLS certs from Let's Encrypt

advent-of-code

Advent of Code solutions

agda-sessions

Learn the Agda basics in three 2-hour sessions.

alarm

ARCH Linux ARM

alarm-docker

ArchLinux for ARM in docker container

algorithms

Bug-tracking for Jeff's algorithms book, notes, etc.

anagopos

Automatically exported from code.google.com/p/anagopos

anagopos3d

Anagopos 3D: A Reduction Graph Visualizer for Term Rewriting and λ-Calculus

applied-fp-course

arch-c201

My hacks to make the C201 more usable on arch-arm

archlinux

Archlinux Repo

arduinostuff

Various arduino stuff ESP32/ESP8266 based

atopuzov

atopuzov.github.com

Github account homepage

awesome

A curated list of awesome lists

awesome-recursion-schemes

Resources for learning and using recursion schemes.

awesome-scalability

The Patterns Behind Scalable, Reliable, and Performant Large-Scale Systems :wave: https://twitter.com/top_sde

awesome-sre

A curated list of awesome Site Reliability and Production Engineering resources.

awesome-talks

Awesome online talks and screencasts

boltons

Like builtins, but boltons. Constructs/recipes/snippets that would be handy in the standard library. Nothing like Michael Bolton.

book

A textbook on informal homotopy type theory

boring-software

c201

Asus C201 Chromebook Related Things

case-studies

Analysis of various tricky Rust code

category-theory-for-programmers

e-book version of Bartosz Milewski's Category Theory for Programmers

category-theory-programmers

Notes on category theory in the context of (functional) programming

cis194-exercises

A test suite for the homework exercises from Brent Yorgey's CIS 194 lecture series on Haskell

ciscoconfparse

Parse, Audit, Query, Build, and Modify Cisco IOS-style configurations

coursera

Script for downloading Coursera.org videos and naming them.

cs-video-courses

List of Computer Science courses with video lectures.