Eric Vincent's repositories
advent-of-code
Leveling up Haskell skills with Advent of Code
adventOfLean
Practice in functional programming with Lean 4 via Advent of Code 2022
advent-of-code-2018
Interactive development environment and runner for Advent of Code challenges
aoc2022
Advent of Code 2022
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
efv.AdventOfCode.2019.Haskell
Advent of Code 2019 in Haskell as a learning exercise
efv.Learning.FParsec
Learning FParsec
espace-theme
Light and dark theme for spacemacs that supports GUI and terminal
fp-course
Fork of the original Data61 course to be more Stack friendly
fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
SimpleEasy
Andres Loh, Connor McBride, and Wouter Swierstra's Tutorial for a dependently typed λ-Caluculs (λΠ)
Windows10Debloater
Script to remove Windows 10 bloatware.