davidlazar/mapstructure Fork of mitchellh/mapstructure

Go library for decoding generic map values into native Go structures.

Language: Go - Size: 121 KB - Last synced at: 11 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

davidlazar/go-crypto

Cryptographic packages for Go

Language: Go - Size: 130 KB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 3

davidlazar/go-libyaml

Go bindings to LibYAML

Language: Go - Size: 11.7 KB - Last synced at: 11 months ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 1

davidlazar/seal

Easily encrypt files, notes, and passwords

Language: Go - Size: 7.81 KB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 18 - Forks: 1

davidlazar/accumulator

Cryptographic accumulator

Language: Go - Size: 2.93 KB - Last synced at: 11 months ago - Pushed at: about 7 years ago - Stars: 9 - Forks: 2

davidlazar/base64

High-assurance base64

Language: C - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: about 9 years ago - Stars: 102 - Forks: 9

davidlazar/jotmuch

Jotmuch bookmark manager

Language: Python - Size: 271 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 68 - Forks: 10

davidlazar/llvm-semantics

Formal semantics of LLVM IR in K

Language: LLVM - Size: 14.4 MB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 41 - Forks: 9

davidlazar/fdm Fork of nicm/fdm

Language: C - Size: 1.38 MB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

davidlazar/aur

AUR packages I maintain

Language: Shell - Size: 121 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

davidlazar/core Fork of lemmih/core

Parser and pretty printer for GHC's external core.

Language: Haskell - Size: 102 KB - Last synced at: about 2 years ago - Pushed at: over 12 years ago - Stars: 0 - Forks: 0

davidlazar/keccak-cryptol

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

Size: 128 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 3 - Forks: 1

davidlazar/list-all-tabs

List tabs, find duplicates, and close them

Language: JavaScript - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

davidlazar/circ Fork of circify/circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Size: 9.94 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

davidlazar/simon-and-speck

Cryptol specification of the Simon and Speck block ciphers

Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

davidlazar/rig

random identity generator

Language: Go - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 11 - Forks: 0

davidlazar/pwclip

Hash-based password manager

Language: Go - Size: 24.4 KB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 19 - Forks: 2

davidlazar/PircBot

Java IRC bot framework

Language: Java - Size: 241 KB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 25 - Forks: 16

davidlazar/siphash-cryptol

Cryptol specification of the SipHash function

Size: 117 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 3 - Forks: 0

davidlazar/supergit

Manage many git repos as one

Language: Go - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

davidlazar/falcon

Language: C - Size: 2.59 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

davidlazar/upstream

Stream audio to an Icecast server

Language: C - Size: 125 KB - Last synced at: about 2 years ago - Pushed at: almost 11 years ago - Stars: 6 - Forks: 0

davidlazar/dilithium Fork of pq-crystals/dilithium

Language: C - Size: 1.08 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

davidlazar/6.857coin

Educational cryptocurrency

Language: Go - Size: 107 KB - Last synced at: 11 months ago - Pushed at: over 9 years ago - Stars: 11 - Forks: 5

davidlazar/PCPL

Post Correspondence Programming Language

Language: Haskell - Size: 195 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 7 - Forks: 0

davidlazar/haskell-semantics

Formal semantics of Haskell in K

Language: Haskell - Size: 250 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 15 - Forks: 0

davidlazar/endurance

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

Language: Go - Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

davidlazar/go-keybase-chat-bot Fork of keybase/go-keybase-chat-bot

golang exploration keybase chat JSON API

Language: Go - Size: 419 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1

davidlazar/elk-docker

Deploy a secure ELK stack using Docker and LetsEncrypt

Language: Shell - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 3

davidlazar/musl

Fork of musl adapted for the semantics of LLVM

Language: C - Size: 1.95 MB - Last synced at: about 2 years ago - Pushed at: about 13 years ago - Stars: 4 - Forks: 2

davidlazar/maude-hs

A Haskell interface to the Maude rewriting system

Language: Haskell - Size: 42 KB - Last synced at: 29 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

davidlazar/kebab

secure backup tool (not maintained)

Language: Go - Size: 34.2 KB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 17 - Forks: 3

davidlazar/wordenc Fork of tchajed/wordenc

Language: Go - Size: 102 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

davidlazar/flycrypt

Quickly encrypt strings

Language: Go - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 1

davidlazar/clipboard

Manipulate the system clipboard from Go

Language: Go - Size: 1.95 KB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

davidlazar/opus Fork of hraban/opus

Go wrapper for libopus (golang)

Language: Go - Size: 751 KB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

davidlazar/google-maps-services-go Fork of googlemaps/google-maps-services-go

Go client library for Google Maps API Web Services

Language: Go - Size: 543 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

davidlazar/acme-nano

Tool for generating HTTPS certificates

Language: Go - Size: 7.81 KB - Last synced at: 11 months ago - Pushed at: about 9 years ago - Stars: 4 - Forks: 0

davidlazar/hpygments

Highlight source code using Pygments

Language: Haskell - Size: 16.6 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 4

davidlazar/dclxvi Fork of agl/dclxvi

Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.

Language: Assembly - Size: 112 KB - Last synced at: about 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

davidlazar/git-multimail Fork of git-multimail/git-multimail

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

Language: Python - Size: 1.25 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

davidlazar/ed25519

Language: Go - Size: 97.7 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

davidlazar/easyjson Fork of mailru/easyjson

Fast JSON serializer for golang.

Language: Go - Size: 325 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

davidlazar/go-dkim

Verify DKIM signatures

Language: Go - Size: 111 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 7 - Forks: 0

davidlazar/ocaml-semantics

Formal semantics of OCaml

Language: OCaml - Size: 187 KB - Last synced at: about 2 years ago - Pushed at: over 11 years ago - Stars: 7 - Forks: 4

davidlazar/gocui Fork of jroimartin/gocui

Minimalist Go package aimed at creating Console User Interfaces.

Language: Go - Size: 135 KB - Last synced at: 11 months ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

davidlazar/language-k

Types and parsers for the K semantic framework

Language: Haskell - Size: 93.8 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

davidlazar/utm

Universal Turing Machine

Language: Haskell - Size: 113 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 3 - Forks: 0

davidlazar/python-drbg

Cryptographically Secure PRNG for Python

Language: Python - Size: 668 KB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 2 - Forks: 0

davidlazar/process-extras

Extra functionality for the Process library

Language: Haskell - Size: 295 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 7

davidlazar/halicore Fork of atomb/core-to-isabelle

Translator from GHC Core to Isabelle/HOLCF

Language: Isabelle - Size: 236 KB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 2 - Forks: 0

davidlazar/fixhub

Say Goodbye to Octicons

Language: Python - Size: 223 KB - Last synced at: about 2 years ago - Pushed at: about 11 years ago - Stars: 8 - Forks: 0

davidlazar/xml_of_ocaml

Translate OCaml code to XML

Language: OCaml - Size: 121 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 6 - Forks: 0

davidlazar/generic-k

Convert Haskell values into K terms and vice versa

Language: Haskell - Size: 121 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

davidlazar/FrinkBot

Run Frink programs over IRC

Language: Java - Size: 121 KB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

davidlazar/fresh

Introduce fresh variables into Haskell source code

Language: Haskell - Size: 125 KB - Last synced at: 7 days ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

davidlazar/ReminderBot

An IRC bot that reminds you to do things

Language: Java - Size: 138 KB - Last synced at: about 2 years ago - Pushed at: almost 11 years ago - Stars: 1 - Forks: 2

davidlazar/BLAKE

HMAC mode for BLAKE

Language: C - Size: 125 KB - Last synced at: about 2 years ago - Pushed at: about 11 years ago - Stars: 4 - Forks: 1

davidlazar/cryptol Fork of GaloisInc/cryptol

Cryptol: The Language of Cryptography

Language: Haskell - Size: 7.23 MB - Last synced at: about 2 years ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0

davidlazar/syb Fork of dreixel/syb

Scrap Your Boilerplate generic programming library in Haskell

Language: Haskell - Size: 265 KB - Last synced at: about 2 years ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0

davidlazar/ursa

Unit analysis framework

Size: 87.9 KB - Last synced at: about 2 years ago - Pushed at: almost 12 years ago - Stars: 1 - Forks: 1

davidlazar/alex Fork of haskell/alex

A lexical analyser generator for Haskell

Language: Haskell - Size: 466 KB - Last synced at: about 2 years ago - Pushed at: almost 12 years ago - Stars: 0 - Forks: 0

davidlazar/pandoc Fork of jgm/pandoc

Universal markup converter

Language: Haskell - Size: 15.6 MB - Last synced at: about 2 years ago - Pushed at: about 12 years ago - Stars: 0 - Forks: 0

davidlazar/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Language: Haskell - Size: 21.6 MB - Last synced at: about 2 years ago - Pushed at: about 12 years ago - Stars: 0 - Forks: 0