rabuf

Pinned Repositories

advent-of-code
Solutions for Advent of Code challenge
Language:Python22 2 23
applied-category-theory
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
Language:Shell44 9 26
csharp
Exercism exercises in C#.
Language:C#0 1 00
learning-clojure
Just me learning Clojure, going through "Getting Clojure" right now.
Language:Clojure0 2 00
levenshtein-rs
Levenshtein algorithm in Rust
Language:Rust0 2 00

rabuf's Repositories

rabuf/applied-category-theory
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
Language:Shell44 9 26
rabuf/advent-of-code
Solutions for Advent of Code challenge
Language:Python22 2 23
rabuf/csharp
Exercism exercises in C#.
Language:C#0 1 00
rabuf/learning-clojure
Just me learning Clojure, going through "Getting Clojure" right now.
Language:Clojure0 2 00
rabuf/levenshtein-rs
Levenshtein algorithm in Rust
Language:Rust0 2 00
rabuf/paip
Going through Peter Norvig's PAIP
2 0
rabuf/usocket
Universal socket library for Common Lisp
Language:Common Lisp0 0