Pinned Repositories
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
adventOfLean
Practice in functional programming with Lean 4 via Advent of Code 2022
ansi-terminal
ANSI terminal support for Haskell, with Windows compatibility
antlr-scala-practice
aoc2022
Advent of Code 2022
fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
implementing-prog-langs
Exercises in implementing programming languages
odin-aoc
Advent of Code in Odin
SimpleEasy
Andres Loh, Connor McBride, and Wouter Swierstra's Tutorial for a dependently typed λ-Caluculs (λΠ)
efvincent's Repositories
efvincent/adventOfLean
Practice in functional programming with Lean 4 via Advent of Code 2022
efvincent/advent-of-code
Leveling up Haskell skills with Advent of Code
efvincent/advent-of-code-2018
Interactive development environment and runner for Advent of Code challenges
efvincent/antlr-scala-practice
efvincent/aoc2021
Advent of Code 2021
efvincent/aoc2022
Advent of Code 2022
efvincent/crafting-interpreters
efvincent/efvincent.github.io
Blog
efvincent/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
efvincent/implementing-prog-langs
Exercises in implementing programming languages
efvincent/odin-aoc
Advent of Code in Odin
efvincent/SimpleEasy
Andres Loh, Connor McBride, and Wouter Swierstra's Tutorial for a dependently typed λ-Caluculs (λΠ)
efvincent/stack-templates
Personal Haskell Stack Project Templates
efvincent/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
efvincent/aoc2023-cpp
efvincent/archex5
Architectural Example 5 - Event Sourcing in Golang - Bluecore style
efvincent/config-alacritty
efvincent/config-qutebrowser
efvincent/config-xmobar
efvincent/config-xmonad
efvincent/cpp-template-basic
efvincent/dh-d3
efvincent/efv-emacs-config
efvincent/efv-nvim-config
My nvim configuration / dein plugin config
efvincent/espace-theme
Light and dark theme for spacemacs that supports GUI and terminal
efvincent/glfw
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
efvincent/megaparsec01
efvincent/OpenGL-Series
efvincent/Walnut
Walnut is a simple application framework for Vulkan and Dear ImGui apps
efvincent/Windows10Debloater
Script to remove Windows 10 bloatware.