All Git Users → davidlazar

5 open source projects by davidlazar

[ Open user page on Github ]

High-assurance base64

✭ 100

Say Goodbye to Octicons

✭ 8

Easily encrypt files, notes, and passwords

✭ 16

go cryptography password-manager

4. llvm-semantics

Formal semantics of LLVM IR in K

✭ 42

LLVM research llvm formal-semantics formal-methods llvm-ir plt k-framework

Hash-based password manager

✭ 19

go python shell

1-5 of 5 user projects