Matthew Farrell's repositories

scad-clj

OpenSCAD DSL in Clojure

Language:ClojureLicense:EPL-1.0Stargazers:317Issues:12Issues:20

advent-2017

2017 edition of adventofcode.com

License:MITStargazers:1Issues:2Issues:0

advent-2018

Solutions for 2018 Advent of Code

Language:HaskellLicense:MITStargazers:1Issues:2Issues:0
Language:HaskellLicense:MITStargazers:1Issues:2Issues:0
Language:HaskellLicense:MITStargazers:1Issues:1Issues:0
Language:PythonLicense:MITStargazers:1Issues:0Issues:0

breccia

Painless polyglot programming

Language:HaskellLicense:MITStargazers:1Issues:3Issues:0

Convex.jl

A Julia package for disciplined convex programming

Language:JuliaLicense:NOASSERTIONStargazers:1Issues:3Issues:0

dailyprover

Solutions to /r/dailyprover

Language:IdrisLicense:MITStargazers:1Issues:2Issues:0

diffusers

🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch

Language:PythonLicense:Apache-2.0Stargazers:1Issues:1Issues:0

dotfiles

My configuration files

Language:CStargazers:1Issues:3Issues:0

evil-colemak-basics

Emacs package with basic key rebindings for evil-mode with the Colemak keyboard layout

Language:Emacs LispStargazers:1Issues:3Issues:0

evil-smartparens

Evil integration for Smartparens

Language:Emacs LispLicense:GPL-3.0Stargazers:1Issues:2Issues:0
Language:HTMLLicense:MITStargazers:1Issues:3Issues:0

freer-simple-lens

Lens combinators for freer-simple.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

haskell-chart

A 2D charting library for haskell

Language:HaskellStargazers:1Issues:2Issues:0

idris-containers

Various data structures for use in the Idris Language.

Language:IdrisLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

idris-lens

van Laarhoven lenses for Idris

Language:IdrisLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0
Language:IdrisLicense:MITStargazers:1Issues:2Issues:0

idris-quickcheck-fork

A port of QuickCheck to Idris

Language:IdrisStargazers:1Issues:3Issues:0

ledger

A principled computational notebook

Language:HaskellLicense:MITStargazers:1Issues:3Issues:0

mavi

bored.games

Language:HaskellStargazers:1Issues:3Issues:0
Language:HaskellLicense:MITStargazers:1Issues:2Issues:0

ZMQ.jl

Julia interface to ZMQ

Language:JuliaLicense:NOASSERTIONStargazers:1Issues:2Issues:0

scad-hs

Generate SCAD from Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

snake

Generate the model for a snake puzzle

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

zaphod

A two headed language

Language:HaskellLicense:MITStargazers:0Issues:3Issues:0

BetterChatGPT

An amazing UI for OpenAI's ChatGPT (Website + Windows + MacOS + Linux)

Language:TypeScriptLicense:CC0-1.0Stargazers:0Issues:0Issues:0

husk-scheme

A practical implementation of the Scheme programming language for the Haskell Platform.

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

idris-quickcheck

Automatic testing of Idris programs.

License:BSD-3-ClauseStargazers:0Issues:2Issues:0