Kariiem Taha's starred repositories
raytracing.github.io
Main Web Site (Online Books)
mastering-emacs-in-one-year-guide
Be great at emacs in one year
Eng-Hammad-Recommendations
The repo contains books, tutorials and resources based on the recommendations of Eng Mohammed Hammad.
up-to-date-real-world-haskell
I'm trying to update the Real World Haskell book
cpp_functional_programming
List of materials about functional programming in C++
formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
haskell-ghc-illustrated
haskell ghc-illustrated
M40001_lean
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
UnicodeMath
Plugin for Sublime for inserting unicode math symbols and emoji
average-competitive-programming
The best competitive programming tutorials on codeforces for those who are not awesome yet.
happy-plus-alex
Template for quickly and easily combining happy and alex
literate-xmonad-config
A heavily documented xmonad config
SimpleHaskellStackVM
Simple demonstration stack based virtual machine written in Haskell
haskell-resources
A List of Foundational Haskell Papers
data-memocombinators
Pure memoization combinators for Haskell
haskell-ghc-reading-guide
Haskell GHC reading guide
complex-number-game
The Complex Number Game. Make the complex numbers in Lean.
CG-OpenGL-Labs
CG Labs + Comments and further notes.
DDGorgeous
A mini–C++ Geometry processing library based on a code skeleton provided by CMU’s Discrete Differential Geometry course & Geometry Central
FunctionalProgramming
Support repository for the functional programming lecture (Haskell)