Skip to content
View davidlazar's full-sized avatar

Organizations

@golang @mit-pdos @xmonad @vuvuzela

Block or report davidlazar

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Code to compute the prominence and isolation of mountains from digital elevation data

C++ 39 13 Updated Oct 30, 2025

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

Go 4 Updated Mar 2, 2021

List tabs, find duplicates, and close them

JavaScript 3 Updated Jul 11, 2018

Send notification emails for pushes to a git repository (an improved version of post-receive-mail)

Python 157 62 Updated Jan 31, 2026

A tutorial about how to manage git conflicts

HTML 1 Updated Mar 29, 2024

Linux namespaces and seccomp-bpf sandbox

C 7,282 661 Updated Apr 6, 2026

Arch PKGBUILD for Vuvuzela

Shell 3 Updated Feb 7, 2018

Web app that allows students to ask real-time, anonymous questions during class

Go 32 5 Updated Jan 3, 2024

Lightweight terminal-based multicore CPU usage monitor

C 61 9 Updated Sep 11, 2019

Manage many git repos as one

Go 5 2 Updated Dec 18, 2017

Fast key-value DB in Go.

Go 15,560 1,292 Updated Apr 10, 2026

Tool for partial deblobbing of Intel ME/TXE firmware images

Python 4,927 296 Updated May 28, 2024

Deploy a secure ELK stack using Docker and LetsEncrypt

Shell 7 3 Updated Nov 28, 2017
TeX 855 29 Updated Jul 18, 2020

Go Graphics - 2D rendering in Go with a simple API.

Go 4,763 384 Updated Dec 14, 2023

Easily encrypt files, notes, and passwords

Go 17 1 Updated May 12, 2019

A vi-like editor based on Plan 9's structural regular expressions

C 4,497 278 Updated Apr 10, 2026

Bindings for the Z3 SMT solver

Go 36 21 Updated Aug 9, 2022

random identity generator

Go 15 Updated Apr 6, 2017

The Go programming language

Go 133,453 18,915 Updated Apr 13, 2026
Go 2 2 Updated Mar 27, 2019

Supplementary cryptography libraries

Assembly 16 12 Updated May 23, 2022

Bootstrapping secure communication without leaking metadata

Go 77 6 Updated Sep 12, 2019

Quickly encrypt strings

Go 5 1 Updated May 22, 2019

A library of useful abstractions for programming. Obsolete, use https://github.com/plume-lib/ instead.

Java 9 23 Updated Aug 2, 2020

fdm source code

C 282 50 Updated Mar 6, 2024

Tool for generating HTTPS certificates

Go 4 Updated May 24, 2016

An Ember.js web client for Vuvuzela messaging system

JavaScript 60 12 Updated Feb 8, 2018

Private messaging system that hides metadata

Go 2,486 183 Updated Sep 12, 2019

secure backup tool (not maintained)

Go 17 3 Updated Jun 5, 2020
Next