Discover sellout/compiling-anything-to-categories Open Source project

Yet another yet another recursion scheme library in Haskell.

yaya

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

external-program

A total recursion scheme library for Dhall

dada

Wailing into the primordial ooze of category theory

caterwaul

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

YACC-is-dead

Delete half (minus ε) of your Haskell code!

dualizer

A recursion scheme library for Idris.

Iaia

Automatic type class law checking.

dredd

Talks on category-parametric programming.

category-parametric-talk

Scala

haskerwaul

Category theory concepts in type classes and instances.

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

method-combination-utilities

An experimental programming language based on the kell calculus.

Kilns

Home Manager, but for repos.

project-manager

A translation of Certified Programming with Dependent Types to Idris.

Idris-CPDT

Idris

dhall-dhall

Implementation of Dhall in Dhall

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

cheshire

Scala

LOOM

Lisp: Object-Oriented and Modular

Common Lisp API to Google Charts

cl-google-charts

A GHC plugin to remove support for recursion

no-recursion

CFFI bindings to Grand Central Dispatch.

cl-dispatch

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/).

cl-glpk

Common Lisp interface to access Gravatar images and profiles.

sellout.github.com

my coding blog

CSS

cl-gravatar

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

math-extensions

Generates conditions from HTTP error responses.

http-response-handler

Well-typed path manipulation for Dhall

dhall-path

Keep track of optimizations and easily benchmark them.

Opt-Check

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.

sparklines

A Common Lisp library for defining reversible functions.

partial-isomorphisms

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

beautiful-failures

A package.el-like for managing Nix packages.

nix-package.el

Emacs Lisp

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.

Sellout’s general configuration

dotfiles

compositional document generator

dog

cl-fitbit

Common Lisp interface to the fitbit API.

A Maximalist window manager

stumpwm

The corridor connecting Dhall and Haskell

hall

Some algebraic numeric types and operations.

dhall-numerics

Shell

flaky

Templates for dev environments

Functor in Dhall along with functions that generalise to Functor

dhall-functor

dependent-dhall-experiments

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

data-structure-zoo

sellout

public profile

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.

A different way of thinking about newtypes.

qualified-constraints

conf-questions

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

straw

Compiling to SNARKs

bradix

Braille-radix numbers

Emacs Lisp

slamengine-old

The engine for SlamData

Scala

pandoc-ansi

ANSI writers for Pandoc