Name: Greg Pfeil
Type: User
Bio: Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.
Twitter: sellout
Location: Boulder, CO, USA
Blog: https://technomadic.org
Greg Pfeil's Projects
Development tools for SlamData
Tasty meal of Dhall
Implementation of Dhall in Dhall
Functor in Dhall along with functions that generalise to Functor
A configuration language guaranteed to terminate
A configuration language guaranteed to terminate
Some algebraic numeric types and operations.
Well-typed path manipulation for Dhall
compositional document generator
Sellout’s general configuration
Automatic type class law checking.
Delete half (minus ε) of your Haskell code!
Elisp development tool
Customizable reader for Emacs Lisp
Emacs highlighting using Ethan Schoonover’s Solarized color scheme
A set of faces to sit between Emacs’ built-in faces and 3rd-party faces.
Stack-based task management
Library for using Semantic Versioning in Emacs
Using Unicode for shorter and more enjoyable mode-lines.
ENhanced Scala Interaction Mode for Emacs
ENhanced Scala Interaction Mode for Emacs
Formatted Documentation for ENSIME
Emacs support for direnv which operates buffer-locally
Presentations in Emacs -- based on Org-mode
A portable Common Lisp library for running external programs from within Lisp.
A small recursion-free total programming language.
Schemas for common flake output types
Templates for dev environments