dunnl

elisp-guide

A quick guide to Emacs Lisp programming

solved-by-flexbox

A showcase of problems once hard or impossible to solve with CSS alone, now made trivially easy with Flexbox.

coq2latex

A command-line tool to generate Latex (inference rules) from inductive coq definitions.

algebra

Basics notions of algebra

dot-emacs

My Emacs configurations written in Org mode

coq-tricks

Tricks you wish the Coq manual told you [maintainer=@tchajed]

pollen

book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]

ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

LC4-haskell

Purely functional interpreter for the educational LC-4 ISA.

vega-lite

A concise grammar of interactive graphics, built on Vega.

gnome-shell-extension-syncthing

debian-ssh

Debian OpenSSL Predictable PRNG (CVE-2008-0166)

syncthing-android

Wrapper of syncthing for Android.

KeePassDX

Lightweight vault and password manager for Android, KeePassDX allows editing encrypted data in a single file in KeePass format and fill in the forms in a secure way.

nixos-tutorial

one hour, hands-on

wordpress-nginx-nix

One-stop shop for defining, testing, and deploying a WordPress CMS site using Nginx with Nix, NixOps, and NixOS

hnix

A Haskell re-implementation of the Nix expression language

elm-selectize

selectize-like dropdown menu with autocompletion in elm

dircolors-solarized

This is a repository of themes for GNU ls (configured via GNU dircolors) that support Ethan Schoonover’s Solarized color scheme.

pods-convert

Pods Convert is a plugin to convert a Pod type or Storage type to another.

not-os

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

servant-elm

Automatically derive Elm functions to query servant webservices

elm-workshop

Elm + PostgREST workshop, building a simple database query user interface.

validations

A nice way to define field validations in Haskell.

open-source-flash

Petition to open source Flash and Shockwave spec

mitls-fstar

Verified implementation of TLS 1.3 in F*

stgi

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

ghc-musl

Using GHC with musl libc to get true static linking

gathering

A self hosted website for announcing group events

awesome-haskell

A curated list of awesome Haskell frameworks, libraries and software.