David Lazar

Easily encrypt files, notes, and passwords

Jotmuch bookmark manager

Formal semantics of LLVM IR in K

Manage many git repos as one

High-assurance base64

Java IRC bot framework

Hash-based password manager

secure backup tool (not maintained)

random identity generator

Formal semantics of Haskell in K

Educational cryptocurrency

Formal semantics of OCaml

Cryptographic accumulator

Cryptographic packages for Go

Say Goodbye to Octicons

Post Correspondence Programming Language

Deploy a secure ELK stack using Docker and LetsEncrypt

Verify DKIM signatures

HMAC mode for BLAKE

Stream audio to an Icecast server

Translate OCaml code to XML

Quickly encrypt strings

Highlight source code using Pygments

Cryptographically Secure PRNG for Python

Bot for announcing activities (runs, hikes, ...) to Slack and Keybase

Fork of musl adapted for the semantics of LLVM

A Haskell interface to the Maude rewriting system

Tool for generating HTTPS certificates

List tabs, find duplicates, and close them

Extra functionality for the Process library

Go bindings to LibYAML

Cryptol specification of the Keccak (SHA-3) hash function

Cryptol specification of the SipHash function

Universal Turing Machine

Run Frink programs over IRC

Translator from GHC Core to Isabelle/HOLCF

Introduce fresh variables into Haskell source code

No description.

An IRC bot that reminds you to do things

Cryptol specification of the Simon and Speck block ciphers

Types and parsers for the K semantic framework

Convert Haskell values into K terms and vice versa

AUR packages I maintain

Unit analysis framework

Git commit emails

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

No description.

golang exploration keybase chat JSON API

No description.

Manipulate the system clipboard from Go

Go wrapper for libopus (golang)

Go client library for Google Maps API Web Services

Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.

Send notification emails for pushes to a git repository (an improved version of post-receive-mail)

No description.

Fast JSON serializer for golang.

Go library for decoding generic map values into native Go structures.

Minimalist Go package aimed at creating Console User Interfaces.

No description.

Cryptol: The Language of Cryptography

Scrap Your Boilerplate generic programming library in Haskell

A lexical analyser generator for Haskell

Universal markup converter

Official upstream development repository for Cabal and cabal-install

Parser and pretty printer for GHC's external core.