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