jhenahan

system-packages-org

A simple Ansible role to configure system packages and repos, generated from a single Org file

dotnix

Nix config, finally version controlled

dots

New Nix world

adventofcode2019

the-old

The Heretic's Everything (dotfiles, but mainly Emacs right now)

adventofcode2018

algebraic-structures

Generic algebraic structure hierarchy (WIP)

dotfiles

easy-dhall-nix

Derivations for easily downloading Dhall binaries and putting them to use.

emacs

Mirror of GNU Emacs

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

evo

Emac + eVil + Org config

exercism-mentoring

feral

Feral cats are homeless, feral functions are serverless

homebrew-standard

in-other-words

A higher-order effect system where the sky's the limit

lsp-mode

Emacs client/library for the Language Server Protocol

lsp-treemacs

lsp-mode :heart: treemacs

matasano-hs

Matasano Crypto Challenges in Haskell

matasano-scala

Matasano Crypto Challenges in Scala

meow

Yet another modal editing on Emacs / 猫态编辑

nixpkgs

Nix Packages collection

plfa

Exercises from Programming Language Foundations in Agda

Proptics

Profunctor optics and lenses library for Scala

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

sbt-jib

sbt version of sbt jib: https://github.com/GoogleContainerTools/jib

scala-collection-compat

makes some Scala 2.13 APIs (primarily collections, also some others) available on 2.11 and 2.12, to aid cross-building

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

the

THE Heretic's Emacs

vigilant-telegram