Matthew Farrell's repositories
advent-2017
2017 edition of adventofcode.com
advent-2018
Solutions for 2018 Advent of Code
dailyprover
Solutions to /r/dailyprover
evil-colemak-basics
Emacs package with basic key rebindings for evil-mode with the Colemak keyboard layout
evil-smartparens
Evil integration for Smartparens
freer-simple-lens
Lens combinators for freer-simple.
haskell-chart
A 2D charting library for haskell
idris-containers
Various data structures for use in the Idris Language.
idris-lens
van Laarhoven lenses for Idris
idris-quickcheck-fork
A port of QuickCheck to Idris
BetterChatGPT
An amazing UI for OpenAI's ChatGPT (Website + Windows + MacOS + Linux)
Language:TypeScriptCC0-1.0000
husk-scheme
A practical implementation of the Scheme programming language for the Haskell Platform.
idris-quickcheck
Automatic testing of Idris programs.