Matthew Farrell's repositories
BetterChatGPT
An amazing UI for OpenAI's ChatGPT (Website + Windows + MacOS + Linux)
diffusers
🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch
dotfiles
My configuration files
zaphod
A two headed language
mavi
bored.games
ledger
A principled computational notebook
snake
Generate the model for a snake puzzle
scad-hs
Generate SCAD from Haskell
husk-scheme
A practical implementation of the Scheme programming language for the Haskell Platform.
freer-simple-lens
Lens combinators for freer-simple.
haskell-chart
A 2D charting library for haskell
evil-colemak-basics
Emacs package with basic key rebindings for evil-mode with the Colemak keyboard layout
advent-2018
Solutions for 2018 Advent of Code
evil-smartparens
Evil integration for Smartparens
advent-2017
2017 edition of adventofcode.com
idris-quickcheck
Automatic testing of Idris programs.
idris-quickcheck-fork
A port of QuickCheck to Idris
idris-containers
Various data structures for use in the Idris Language.
ZMQ.jl
Julia interface to ZMQ
idris-lens
van Laarhoven lenses for Idris
Convex.jl
A Julia package for disciplined convex programming
breccia
Painless polyglot programming
dailyprover
Solutions to /r/dailyprover