davidlazar/jotmuch
Jotmuch bookmark manager
Developer Profile
davidlazar
Discovered public repositories for davidlazar in the GitHub catalog.
davidlazar/cryptol
Cryptol: The Language of Cryptography
davidlazar/syb
Scrap Your Boilerplate generic programming library in Haskell
davidlazar/python-drbg
Cryptographically Secure PRNG for Python
davidlazar/pwclip
Hash-based password manager
davidlazar/ursa
Unit analysis framework
davidlazar/aur
AUR packages I maintain
davidlazar/simon-and-speck
Cryptol specification of the Simon and Speck block ciphers
davidlazar/alex
A lexical analyser generator for Haskell
davidlazar/keccak-cryptol
Cryptol specification of the Keccak (SHA-3) hash function
davidlazar/pandoc
Universal markup converter
davidlazar/cabal
Official upstream development repository for Cabal and cabal-install
davidlazar/PCPL
Post Correspondence Programming Language
davidlazar/utm
Universal Turing Machine
davidlazar/core
Parser and pretty printer for GHC's external core.
davidlazar/hpygments
Highlight source code using Pygments
davidlazar/ocaml-semantics
Formal semantics of OCaml
davidlazar/xml_of_ocaml
Translate OCaml code to XML
davidlazar/FrinkBot
Run Frink programs over IRC
davidlazar/language-k
Types and parsers for the K semantic framework
davidlazar/siphash-cryptol
Cryptol specification of the SipHash function
davidlazar/upstream
Stream audio to an Icecast server
davidlazar/fixhub
Say Goodbye to Octicons
davidlazar/musl
Fork of musl adapted for the semantics of LLVM
davidlazar/halicore
Translator from GHC Core to Isabelle/HOLCF
davidlazar/process-extras
Extra functionality for the Process library
davidlazar/ReminderBot
An IRC bot that reminds you to do things
davidlazar/PircBot
Java IRC bot framework
davidlazar/base64
High-assurance base64
davidlazar/generic-k
Convert Haskell values into K terms and vice versa
davidlazar/haskell-semantics
Formal semantics of Haskell in K
davidlazar/fresh
Introduce fresh variables into Haskell source code
davidlazar/maude-hs
A Haskell interface to the Maude rewriting system
davidlazar/BLAKE
HMAC mode for BLAKE
davidlazar/llvm-semantics
Formal semantics of LLVM IR in K