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/ansi-terminal
ANSI terminal support for Haskell, with Windows compatibility
efvincent/hoogle
Haskell API search engine
efvincent/ClojureTutorial
Working my way through the clojure tutorial at http://writingcoding.blogspot.com/
efvincent/collector
An experimental tag-based file manager for linux
efvincent/efv-csv-tool
Experimenting with the pest parser for Rust
efvincent/efv-gitignore-copy
Learning example - a copy tree utility that pays attention to .gitignores
efvincent/efv-grrs
simple grep clone rust learning exercise
efvincent/efv.AdventOfCode.2019
efvincent/efv.AdventOfCode.2019.Haskell
Advent of Code 2019 in Haskell as a learning exercise
efvincent/efv.Learning.FParsec
Learning FParsec
efvincent/fd-jira
Jira -> Event Database
efvincent/fons
Console manipulation for F#
efvincent/fp-course
Fork of the original Data61 course to be more Stack friendly
efvincent/gitignore
A collection of useful .gitignore templates
efvincent/gitignore.rs
Implementation of .gitignore file parsing and glob testing in Rust.
efvincent/PhaserGame
Port of Cole's school project game
efvincent/remarkable-googlekeep
[Chrome Extension] MarkDown for Google Keep
efvincent/tomato-line
A learning project that uses node to access rotten tomato lists