sellout

caterwaul

Wailing into the primordial ooze of category theory

Iaia

A recursion scheme library for Idris.

dhall-path

Well-typed path manipulation for Dhall

manifest

System for semi-automatically documenting Common Lisp packages.

flake-schemas

Schemas for common flake output types

free

free monads

.github

Default community health files for `github:sellout` repos

aftok

developers

doctest

An implementation of Python's doctest for Haskell

eldev

Elisp development tool

emacs-semver

Library for using Semantic Versioning in Emacs

hpack-dhall

Use hpack's phrasing in dhall to write cabal files

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.

kilns-haskell

An experimental programming language based on the kell calculus

librustzcash

Rust-language assets for Zcash

lrzhs

Haskell bindings for zcash-wallet-backend using zcash-client-sqlite.

mavsim_template_files

Template files for mavsim, the simulator developed in Small Unmanned Aircraft: Theory and Practice

nix-darwin

nix modules for darwin

nix.dev

An opinionated guide for developers wanting to get things done with the Nix ecosystem.

nixpkgs

Nix Packages collection

pandoc

Universal markup converter

path

Typed filepath

PyF

Haskell QuasiQuoter for String Formatting

quasar

The engine for SlamData

scala-abt

Abstract Binding Trees in Scala

scala-sandbox

Random Scala thought experiments and miscellany.

unison-mode-emacs

Very simple syntax highlighting

unison-nix

Nix support for the Unison programming language

WeatherWatch

Pebble watch face with current weather conditions. Demo for httpebble.