davidlazar

base64

High-assurance base64

llvm-semantics

Formal semantics of LLVM IR in K

haskell-semantics

Formal semantics of Haskell in K

6.857coin

Educational cryptocurrency

ocaml-semantics

Formal semantics of OCaml

fixhub

Say Goodbye to Octicons

go-dkim

Verify DKIM signatures

PCPL

Post Correspondence Programming Language

upstream

Stream audio to an Icecast server

xml_of_ocaml

Translate OCaml code to XML

BLAKE

HMAC mode for BLAKE

python-drbg

Cryptographically Secure PRNG for Python

keccak-cryptol

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

siphash-cryptol

Cryptol specification of the SipHash function

utm

Universal Turing Machine

fresh

Introduce fresh variables into Haskell source code

FrinkBot

Run Frink programs over IRC

halicore

Translator from GHC Core to Isabelle/HOLCF

process-extras

Extra functionality for the Process library

aur

AUR packages I maintain

generic-k

Convert Haskell values into K terms and vice versa

language-k

Types and parsers for the K semantic framework

ReminderBot

An IRC bot that reminds you to do things

ursa

Unit analysis framework

alex

A lexical analyser generator for Haskell

cryptol

Cryptol: The Language of Cryptography

dclxvi

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

fdm

gocui

Minimalist Go package aimed at creating Console User Interfaces.

syb

Scrap Your Boilerplate generic programming library in Haskell