sellout

yaya

Yet another yet another recursion scheme library in Haskell.

Iaia

A recursion scheme library for Idris.

no-recursion

A GHC plugin to remove support for recursion

cl-oauth

OAuth for Common Lisp

manifest

System for semi-automatically documenting Common Lisp packages.

flaky

Templates for dev environments

free

free monads

aftok

bitcoin

Bitcoin Core integration/staging tree

categories

categories from category-extras

developers

eldev

Elisp development tool

elisp-reader.el

Customizable reader for Emacs Lisp

envrc

Emacs support for direnv which operates buffer-locally

idris-mode

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

keyboard-layout

librustzcash

Rust-language assets for Zcash

magit

It's Magit! A Git Porcelain inside Emacs.

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.

WeatherWatch

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

zips

Zcash Improvement Proposals