Discover @bbarenblat Open Source projects

Benjamin Barenblat (@bbarenblat)

bbarenblat

Stars
18
Global Rank 684,145 (Top 24 %)
Followers 60
Following 20
Registered almost 14 years ago
Most used languages

C++
33.3 %

Haskell
33.3 %

Agda 8.3 %

UrWeb 8.3 %

Coq 8.3 %

C
8.3 %
Location 🇺🇸 United States
Country Total Rank 118,919
Country Ranking

UrWeb 7

Agda 68

Coq 218

Haskell
1,229

pndpowerd

power management daemon for the OpenPandora handheld

ageOf

pluggable utility to determine somebody’s age

urweb_bcrypt

Ur FFI module for the bcrypt hash algorithm

pose

original Palm OS emulator

lyt

simple literate programming tool

scoville

file name translator overlay

B

a new way to look at the Agda standard library

gpg-forward-agent

forward your gpg-agent connections via SSH

debian-compcert

Debian packaging for CompCert

urweb-crypto-random-openssl

generate cryptographically secure random bytes

jarvis

asynchronous interactive shell

urweb-crypto-hash-openssl

Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions

bazel-ocaml

Skylark rules for OCaml

urweb-regex

Ur/Web regular expression library