sellout

emacs-color-theme-solarized

Emacs highlighting using Ethan Schoonover’s Solarized color scheme

concat

Compiling to Categories

sellout

public profile

agenix.el

Decrypt and encrypt agenix secrets inside Emacs

bellman

zk-SNARK library.

circom

zkSnark circuit compiler

developers

eldev

Elisp development tool

emacs-push-pop-done

Stack-based task management

ensime-server

ENhanced Scala Interaction Mode for Emacs

envrc

Emacs support for direnv which operates buffer-locally

forge

Work with Git forges from the comfort of Magit

halo2

khats

Khats, cats on Higher-Kinded amphets

magit

It's Magit! A Git Porcelain inside Emacs.

nix.dev

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

pandoc

Universal markup converter

pebblekit

Pebble's app development toolkit for the Pebble smartwatch, Android and iOS

PyF

Haskell QuasiQuoter for String Formatting

quasar

The engine for SlamData

sbt-buildinfo

I know this because build.sbt knows this.

sbt-slamdata

Common build configuration for SBT projects

scala-clippy

Good advice for Scala compiler errors

scala-sandbox

Random Scala thought experiments and miscellany.

scalacheck

Property-based testing for Scala

sheet-music

Scores

si2712fix-plugin

Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6

slamdata

The web-based front-end for SlamData.

slamdata-predef

tailscale

The easiest, most secure way to use WireGuard and 2FA.