Discover @sellout Open Source projects

Greg Pfeil (@sellout)

sellout

Stars
2,263
Global Rank 13,491 (Top 0.5 %)
Followers 329
Following 136
Registered about 16 years ago
Most used languages

Common Lisp
38.8 %

Haskell
18.4 %

Nix
12.2 %

Dhall 10.2 %

Scala
6.1 %

Emacs Lisp
6.1 %

Shell
4.1 %

Idris 2.0 %

CSS
2.0 %
Location 🇺🇸 United States
Country Total Rank 4,509
Country Ranking

Dhall 1

Idris 16

Emacs Lisp
19

Common Lisp
33

Nix
45

Haskell
151

Scala
575

Shell
1,722

CSS
7,570

emacs-color-theme-solarized

Emacs highlighting using Ethan Schoonover’s Solarized color scheme

recursion-scheme-talk

A talk on using recursion schemes in FP.

CL-LLVM

CFFI bindings for LLVM

quid-pro-quo

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

yaya

Yet another yet another recursion scheme library in Haskell.

external-program

A portable Common Lisp library for running external programs from within Lisp.

dada

A total recursion scheme library for Dhall

caterwaul

Wailing into the primordial ooze of category theory

YACC-is-dead

YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)

dualizer

Delete half (minus ε) of your Haskell code!

Iaia

A recursion scheme library for Idris.

dredd

Automatic type class law checking.

category-parametric-talk

Talks on category-parametric programming.

haskerwaul

Category theory concepts in type classes and instances.

compiling-anything-to-categories

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

method-combination-utilities

Various utilities to make use and creation of custom method combinations easier.

Kilns

An experimental programming language based on the kell calculus.

project-manager

Home Manager, but for repos.

Idris-CPDT

A translation of Certified Programming with Dependent Types to Idris.

dhall-dhall

Implementation of Dhall in Dhall

cheshire

This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.

LOOM

Lisp: Object-Oriented and Modular

cl-google-charts

Common Lisp API to Google Charts

no-recursion

A GHC plugin to remove support for recursion

cl-dispatch

CFFI bindings to Grand Central Dispatch.

cl-glpk

Common Lisp interface to GLPK (GNU Linear Programming Kit). This is a fork of Kai Kaminski’s original (http://common-lisp.net/project/cl-glpk/).

sellout.github.com

cl-gravatar

Common Lisp interface to access Gravatar images and profiles.

math-extensions

A collection of new functions as well as integration of additional number systems (E.G., quaternion and surreal numbers) with the existing system.

http-response-handler

Generates conditions from HTTP error responses.

dhall-path

Well-typed path manipulation for Dhall

Opt-Check

Keep track of optimizations and easily benchmark them.

sparklines

A Common Lisp library for generating sparkline images. The current state is just me persisting old stuff. Probably not worth using in its current state.

partial-isomorphisms

A Common Lisp library for defining reversible functions.

beautiful-failures

a Haskell library that helps you keep your users as happy as possible when things go wrong

nix-package.el

A package.el-like for managing Nix packages.

computational-model-zoo

Mostly a wiki for keeping track of various computational models and their relationships.

non-consing-variants

A tiny utility library for Common Lisp to make it easy to switch between consing and non-consing functions for optimization.

dotfiles

Sellout’s general configuration

dog

compositional document generator

cl-fitbit

Common Lisp interface to the fitbit API.

stumpwm

A Maximalist window manager

hall

The corridor connecting Dhall and Haskell

dhall-numerics

Some algebraic numeric types and operations.

flaky

Templates for dev environments

dhall-functor

Functor in Dhall along with functions that generalise to Functor

dependent-dhall-experiments

data-structure-zoo

A wiki to try to keep track of various data structures and ADTs.

sellout

knots

miscellaneous knot-related things.

polydactyl

A reimplementation of Typelevel’s Cats taking advantage of kind polymorphism.

NCLB

A new(?) and simple kind of literate programming system.

qualified-constraints

A different way of thinking about newtypes.

conf-questions

Web app for collecting, triaging, and answering questions from an audience

straw

Compiling to SNARKs

bradix

Braille-radix numbers

slamengine-old

The engine for SlamData

pandoc-ansi

ANSI writers for Pandoc