Eric Vincent's repositories
adventOfLean
Practice in functional programming with Lean 4 via Advent of Code 2022
advent-of-code
Leveling up Haskell skills with Advent of Code
advent-of-code-2018
Interactive development environment and runner for Advent of Code challenges
implementing-prog-langs
Exercises in implementing programming languages
stack-templates
Personal Haskell Stack Project Templates
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
efv-nvim-config
My nvim configuration / dein plugin config
espace-theme
Light and dark theme for spacemacs that supports GUI and terminal
glfw
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
SimpleEasy
Andres Loh, Connor McBride, and Wouter Swierstra's Tutorial for a dependently typed λ-Caluculs (λΠ)
Walnut
Walnut is a simple application framework for Vulkan and Dear ImGui apps
Windows10Debloater
Script to remove Windows 10 bloatware.