Discover @davidlazar Open Source projects

David Lazar (@davidlazar)

davidlazar

Stars
466
Global Rank 61,473 (Top 3 %)
Followers 421
Following 17
Registered almost 16 years ago
Most used languages

Go
34.2 %

Haskell
23.7 %

C
10.5 %

Java
7.9 %

Python
7.9 %

OCaml
5.3 %

Shell
5.3 %

LLVM 2.6 %

JavaScript
2.6 %
Location 🇺🇸 United States
Country Total Rank 15,796
Country Ranking

LLVM 20

OCaml
228

Haskell
412

C
1,853

Go
2,003

Java
5,464

Shell
9,397

base64

High-assurance base64

jotmuch

Jotmuch bookmark manager

llvm-semantics

Formal semantics of LLVM IR in K

PircBot

Java IRC bot framework

pwclip

Hash-based password manager

seal

Easily encrypt files, notes, and passwords

kebab

secure backup tool (not maintained)

haskell-semantics

Formal semantics of Haskell in K

rig

random identity generator

6.857coin

Educational cryptocurrency

ocaml-semantics

Formal semantics of OCaml

accumulator

Cryptographic accumulator

go-crypto

Cryptographic packages for Go

fixhub

Say Goodbye to Octicons

PCPL

Post Correspondence Programming Language

elk-docker

Deploy a secure ELK stack using Docker and LetsEncrypt

go-dkim

Verify DKIM signatures

xml_of_ocaml

Translate OCaml code to XML

upstream

Stream audio to an Icecast server

hpygments

Highlight source code using Pygments

flycrypt

Quickly encrypt strings

musl

Fork of musl adapted for the semantics of LLVM

supergit

Manage many git repos as one

acme-nano

Tool for generating HTTPS certificates

maude-hs

A Haskell interface to the Maude rewriting system

BLAKE

HMAC mode for BLAKE

python-drbg

Cryptographically Secure PRNG for Python

endurance

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

siphash-cryptol

Cryptol specification of the SipHash function

keccak-cryptol

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

go-libyaml

Go bindings to LibYAML

utm

Universal Turing Machine

fresh

Introduce fresh variables into Haskell source code

list-all-tabs

List tabs, find duplicates, and close them

FrinkBot

Run Frink programs over IRC

process-extras

Extra functionality for the Process library

aur

AUR packages I maintain

ursa

Unit analysis framework

simon-and-speck

Cryptol specification of the Simon and Speck block ciphers

ReminderBot

An IRC bot that reminds you to do things

language-k

Types and parsers for the K semantic framework

generic-k

Convert Haskell values into K terms and vice versa