David Lazar

icon indicating a website link https://davidlazar.org

icon company MIT CSAIL icon location Seattle, WA

Results 8 repositories owned by David Lazar
trafficstars

base64

102
Stars
9
Forks
Watchers

High-assurance base64

verified publisher icon davidlazar

haskell-semantics

15
Stars
0
Forks
Watchers

Formal semantics of Haskell in K

verified publisher icon davidlazar

jotmuch

69
Stars
10
Forks
Watchers

Jotmuch bookmark manager

verified publisher icon davidlazar

kebab

17
Stars
3
Forks
Watchers

secure backup tool (not maintained)

verified publisher icon davidlazar

llvm-semantics

42
Stars
9
Forks
Watchers

Formal semantics of LLVM IR in K

verified publisher icon davidlazar

PircBot

26
Stars
16
Forks
Watchers

Java IRC bot framework

verified publisher icon davidlazar

pwclip

19
Stars
2
Forks
Watchers

Hash-based password manager

verified publisher icon davidlazar

seal

18
Stars
1
Forks
Watchers

Easily encrypt files, notes, and passwords

verified publisher icon davidlazar