bbarenblat/B bbarenblat/B

  • Stars
    star
    1
  • Language Agda
  • License
    Apache License 2.0
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bbarenblat/B
github

bbarenblat

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

a new way to look at the Agda standard library

More Repositories

1

pndpowerd

power management daemon for the OpenPandora handheld
Haskell
2
star
2

ageOf

pluggable utility to determine somebody’s age
Haskell
1
star
3

urweb_bcrypt

Ur FFI module for the bcrypt hash algorithm
C
1
star
4

pose

original Palm OS emulator
C++
1
star
5

lyt

simple literate programming tool
Haskell
1
star
6

scoville

file name translator overlay
C++
1
star
7

gpg-forward-agent

forward your gpg-agent connections via SSH
1
star
8

debian-compcert

Debian packaging for CompCert
Coq
1
star
9

urweb-crypto-random-openssl

generate cryptographically secure random bytes
C++
1
star
10

jarvis

asynchronous interactive shell
Haskell
1
star
11

urweb-crypto-hash-openssl

Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions
C++
1
star
12

bazel-ocaml

Skylark rules for OCaml
1
star
13

urweb-regex

Ur/Web regular expression library
UrWeb
1
star